 | 2012 |
|---|
| 19 |       | Olivier Bailleux:
Unit contradiction versus unit propagation
CoRR abs/1204.0731: (2012) |
| 2011 |
|---|
| 18 | | Olivier Bailleux:
BoolVar/PB v1.0, a java library for translating pseudo-Boolean constraints into CNF formulae
CoRR abs/1103.3954: (2011) |
| 17 | | Olivier Bailleux:
On the expressive power of unit resolution
CoRR abs/1106.3498: (2011) |
| 2010 |
|---|
| 16 | | Olivier Bailleux:
Reified unit resolution and the failed literal rule
CoRR abs/1011.2898: (2010) |
| 15 | | Olivier Bailleux:
Evolving difficult SAT instances thanks to local search
CoRR abs/1011.5866: (2010) |
| 14 | | Olivier Bailleux:
On the CNF encoding of cardinality constraints and beyond
CoRR abs/1012.3853: (2010) |
| 2009 |
|---|
| 13 | | Olivier Bailleux,
Yacine Boufkhad,
Olivier Roussel:
New Encodings of Pseudo-Boolean Constraints into CNF.
SAT 2009: 181-194 |
| 2006 |
|---|
| 12 | | Olivier Bailleux,
Pierre Marquis:
Some Computational Aspects of distance-sat.
J. Autom. Reasoning 37(4): 231-260 (2006) |
| 11 | | Olivier Bailleux,
Yacine Boufkhad,
Olivier Roussel:
A Translation of Pseudo Boolean Constraints to SAT.
JSAT 2(1-4): 191-200 (2006) |
| 2004 |
|---|
| 10 | | Emmanuel Sapin,
Olivier Bailleux,
Jean-Jacques Chabrier,
Pierre Collet:
A New Universal Cellular Automaton Discovered by Evolutionary Algorithms.
GECCO (1) 2004: 175-187 |
| 9 | | Olivier Bailleux,
Yacine Boufkhad:
Full CNF Encoding: The Counting Constraints Case.
SAT 2004 |
| 2003 |
|---|
| 8 | | Emmanuel Sapin,
Olivier Bailleux,
Jean-Jacques Chabrier:
Research of Complex Forms in Cellular Automata by Evolutionary Algorithms.
Artificial Evolution 2003: 357-367 |
| 7 | | Olivier Bailleux,
Yacine Boufkhad:
Efficient CNF Encoding of Boolean Cardinality Constraints.
CP 2003: 108-122 |
| 6 | | Emmanuel Sapin,
Olivier Bailleux,
Jean-Jacques Chabrier:
Research of a Cellular Automaton Simulating Logic Gates by Evolutionary Algorithms.
EuroGP 2003: 414-423 |
| 2001 |
|---|
| 5 | | Alain Sidaner,
Olivier Bailleux,
Jean-Jacques Chabrier:
Measuring the Spatial Dispersion of Evolutionary Search Processes: Application to Walksat.
Artificial Evolution 2001: 77-90 |
| 1999 |
|---|
| 4 |  | Olivier Bailleux,
Pierre Marquis:
DISTANCE-SAT: Complexity and Algorithms.
AAAI/IAAI 1999: 642-647 |
| 1998 |
|---|
| 3 | | Olivier Bailleux:
Local Search for Statistical Counting.
AAAI/IAAI 1998: 386-391 |
| 1997 |
|---|
| 2 | | Olivier Bailleux,
Jean-Jacques Chabrier:
Counting by Statistics on Search Trees: Application to Constraint Satisfaction Problems.
Intell. Data Anal. 1(1-4): 263-274 (1997) |
| 1996 |
|---|
| 1 | | Olivier Bailleux,
Jean-Jacques Chabrier:
Approximate Resolution of Hard Numbering Problems.
AAAI/IAAI, Vol. 1 1996: 169-174 |
Data released under the ODC-BY 1.0 license — See also our legal information page