O. Bailleux

IJCAI-07 Reviewers

Wolfram Burgard, Olivier Buffet, Christian Balkenius, 2007, IJCAI.

Efficient CNF Encoding of Boolean Cardinality Constraints

Olivier Bailleux, Yacine Boufkhad, Yacine Boufkhad, 2003, CP.

Demonstration of the Universality of a New Cellular Automaton

Pierre Collet, Jean-Jacques Chabrier, Emmanuel Sapin, 2007, Int. J. Unconv. Comput..

Some Computational Aspects of distance-sat

Pierre Marquis, Olivier Bailleux, P. Marquis, 2006, Journal of Automated Reasoning.

Research of Complexity in Cellular Automata through Evolutionary Algorithms

Emmanuel Sapin, Olivier Bailleux, Jacqueline Chabrier, 2007, Complex Syst..

DISTANCE-SAT: Complexity and Algorithms

Pierre Marquis, Olivier Bailleux, P. Marquis, 1999, AAAI/IAAI.

A Translation of Pseudo Boolean Constraints to SAT

Olivier Roussel, Olivier Bailleux, Yacine Boufkhad, 2006, J. Satisf. Boolean Model. Comput..

New Encodings of Pseudo-Boolean Constraints into CNF

Olivier Roussel, Olivier Bailleux, Yacine Boufkhad, 2009, SAT.