Olivier Bailleux

Publication Activity (10 Years)

Years Active: 1996-2020
Publications (10 Years): 2

Top Topics

Propositional Satisfiability

Unit Propagation

Top Venues

Publications

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