Bailleux, Olivier

3 publications

AAAI 1999 DISTANCE-SAT: Complexity and Algorithms Olivier Bailleux, Pierre Marquis

AAAI 1998 Local Search for Statistical Counting Olivier Bailleux

AAAI 1996 Approximate Resolution of Hard Numbering Problems Olivier Bailleux, Jean-Jacques Chabrier