Searching for authors named "Olivier Bailleux" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

6 documents found, showing 1 through 6.

Local Search Against Local Search
by Olivier Bailleux, Jacqueline Chabrier — 1996
… Deduction, Budapest, Hungary, August 1996 Olivier Bailleux and Jacqueline Chabrier 1 Abstract. We use a…
Add To MetaCart

Approximate Resolution of Hard Numbering Problems
by Olivier Bailleux, Jean-jacques Chabrier — 1996
…, August 1996 Olivier Bailleux and Jean-Jacques Chabrier CRID Universit'e de Bourgogne Facult'e des…
Cited by 4 (1 self) – Add To MetaCart

Full CNF Encoding: The Counting Constraints Case
by Olivier Bailleux, Yacine Boufkhad — 2004 — in 7th Intl. Conf. on Theory and Applications of SAT Testing
…Full CNF Encoding: The Counting Constraints Case Olivier Bailleux 1 and Yacine Boufkhad 2 1 LERSIA…
Cited by 4 (0 self) – Add To MetaCart

Some Computational Aspects of DISTANCE-SAT
by Olivier Bailleux, Pierre Marquis — 2006 — Journal of Automated Reasoning (JAR
…Some Computational Aspects of distance-sat ∗ Olivier Bailleux (olivier.bailleux…
Cited by 2 (0 self) – Add To MetaCart

Measures on SAT landscapes by statistical exploration of search trees
by Olivier Bailleux, Jean-jacques Chabrier — 1995
… on Studying and Solving Really Hard Problems, Cassis, France, September 1995 Olivier Bailleux and Jean…
Cited by 2 (2 self) – Add To MetaCart

en vue d’obtenir le diplôme UFR Sciences et Techniques
by Olivier Bailleux, École Doctorale Carnot, D’habilitation À Diriger Des Recherches, Spécialité Informatique, Hao Professeur, Pierre Siegel Professeur, Université De Provence, Examinateurs Jacqueline, Chabrier Professeur, Université De Bourgogne, Jean-jacques Chabrier Professeur, Université De Bourgogne, Jean-françois Santucci Professeur, Université Pasquale Paoli, Lakhdar Saïs Professeur
…MÉMOIRE Présenté et soutenu publiquement le 1 er juillet 2005 par Olivier Bailleux en vue d…
Add To MetaCart

Showing 1 through 6.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB