Olivier Bailleux
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
1996–2009
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | SAT | New Encodings of Pseudo-Boolean Constraints into CNF. | Olivier Bailleux, Yacine Boufkhad, Olivier Roussel |
| 2004 | GECCO | A New Universal Cellular Automaton Discovered by Evolutionary Algorithms. | Emmanuel Sapin, Olivier Bailleux, Jean-Jacques Chabrier, Pierre Collet |
| 2004 | SAT | Full CNF Encoding: The Counting Constraints Case. | Olivier Bailleux, Yacine Boufkhad |
| 2003 | CP | Efficient CNF Encoding of Boolean Cardinality Constraints. | Olivier Bailleux, Yacine Boufkhad |
| 2003 | EUROGP | Research of a Cellular Automaton Simulating Logic Gates by Evolutionary Algorithms. | Emmanuel Sapin, Olivier Bailleux, Jean-Jacques Chabrier |
| 1999 | AAAI | DISTANCE-SAT: Complexity and Algorithms. | Olivier Bailleux, Pierre Marquis |
| 1998 | AAAI | Local Search for Statistical Counting. | Olivier Bailleux |
| 1996 | AAAI | Approximate Resolution of Hard Numbering Problems. | Olivier Bailleux, Jean-Jacques Chabrier |