Olivier Bailleux

24 papers A 3B 1Journal 14Unranked 6
YearRankTypeTitle / Venue / Authors
2020 J jnl
Constraint Reductions.
CoRR
Olivier Bailleux, Yacine Boufkhad
2019 J jnl
Subsumption-driven clause learning with DPLL+restarts.
CoRR
Olivier Bailleux
2015 J jnl
SAT as a game.
CoRR
Olivier Bailleux
2012 J jnl
Unit contradiction versus unit propagation
CoRR
Olivier Bailleux
2011 J jnl
BoolVar/PB v1.0, a java library for translating pseudo-Boolean constraints into CNF formulae
CoRR
Olivier Bailleux
2011 J jnl
On the expressive power of unit resolution
CoRR
Olivier Bailleux
2010 J jnl
Evolving difficult SAT instances thanks to local search
CoRR
Olivier Bailleux
2010 J jnl
On the CNF encoding of cardinality constraints and beyond
CoRR
Olivier Bailleux
2010 J jnl
Reified unit resolution and the failed literal rule
CoRR
Olivier Bailleux
2009 A conf
New Encodings of Pseudo-Boolean Constraints into CNF.
SAT
Olivier Bailleux, Yacine Boufkhad, Olivier Roussel
2007 J jnl
Demonstration of the Universality of a New Cellular Automaton.
Int. J. Unconv. Comput.
Emmanuel Sapin, Olivier Bailleux, Jean-Jacques Chabrier, Pierre Collet
2007 J jnl
Research of Complexity in Cellular Automata through Evolutionary Algorithms.
Complex Syst.
Emmanuel Sapin, Olivier Bailleux, Jacqueline Chabrier
2006 J jnl
A Translation of Pseudo Boolean Constraints to SAT.
J. Satisf. Boolean Model. Comput.
Olivier Bailleux, Yacine Boufkhad, Olivier Roussel
2006 J jnl
Some Computational Aspects of distance-sat.
J. Autom. Reason.
Olivier Bailleux, Pierre Marquis
2004 — conf
A New Universal Cellular Automaton Discovered by Evolutionary Algorithms.
GECCO (1)
Emmanuel Sapin, Olivier Bailleux, Jean-Jacques Chabrier, Pierre Collet
2004 A conf
Full CNF Encoding: The Counting Constraints Case.
SAT
Olivier Bailleux, Yacine Boufkhad
2003 A conf
Efficient CNF Encoding of Boolean Cardinality Constraints.
CP
Olivier Bailleux, Yacine Boufkhad
2003 — conf
Research of Complex Forms in Cellular Automata by Evolutionary Algorithms.
Artificial Evolution
Emmanuel Sapin, Olivier Bailleux, Jean-Jacques Chabrier
2003 B conf
Research of a Cellular Automaton Simulating Logic Gates by Evolutionary Algorithms.
EuroGP
Emmanuel Sapin, Olivier Bailleux, Jean-Jacques Chabrier
2001 — conf
Measuring the Spatial Dispersion of Evolutionary Search Processes: Application to Walksat.
Artificial Evolution
Alain Sidaner, Olivier Bailleux, Jean-Jacques Chabrier
1999 — conf
DISTANCE-SAT: Complexity and Algorithms.
AAAI/IAAI
Olivier Bailleux, Pierre Marquis
1998 — conf
Local Search for Statistical Counting.
AAAI/IAAI
Olivier Bailleux
1997 J jnl
Counting by Statistics on Search Trees: Application to Constraint Satisfaction Problems.
Intell. Data Anal.
Olivier Bailleux, Jean-Jacques Chabrier
1996 — conf
Approximate Resolution of Hard Numbering Problems.
AAAI/IAAI, Vol. 1
Olivier Bailleux, Jean-Jacques Chabrier