Fiche de BAILLEUX Olivier

BAILLEUX Olivier
Science des Données / Enseignant chercheur
Adresse : Université de Bourgogne, UFR Sciences et Techniques, 9 rue Alain Savary, 21078 Dijon Cedex
Tél. : (+33) 3 80 39 58 49
Site web : http://bailleux.net/pagepro/
E-mail : olivier.bailleux@u-bourgogne.fr
Equipe : Science des Données
Fonction : enseignant chercheur
Statut : MCF HDR
  • Thématiques de recherche
  • Enseignements dispensés
  • Autres activités
  • Publications
Thématiques de recherche
    • Résolution de SAT, traduction et décomposition de contraintes, recherche locale stochastique, algorithmique génétique.
Enseignements dispensés

Programmation C et C++ en L3 parcours informatique

Programmation objet et algorithmique en LPMI

Programmation logique et fonctionnelle en L3 informatique

Programmation par contraintes en M2 BDIA et IIA

Autres activités

Vulgarisation scientifique : https://www.youtube.com/OlivierBailleuxVulgarisation scientifique : https://www.youtube.com/OlivierBailleux

Publications
Olivier Bailleux. Quel codage CNF pour les contraintes de concordance de motifs d'Eternity II ?. Journées Francophones de Programmation par Contraintes (JFPC), Association Française de Programmation par Contraintes (AFPC), Jun 2025, Dijon, France. ⟨hal-05618940⟩
Olivier Bailleux, Pierre Marquis. Some Computational Aspects of DISTANCE-SAT. Journal of Automated Reasoning (JAR), 2006, 37 (4), pp.231-260. ⟨hal-03300950⟩
Olivier Bailleux, Yacine Boufkhad. Constraint Reductions. CP anniversary Volume, 2019. ⟨hal-02735275⟩
Olivier Bailleux. DPLL with restarts linearly simulates CDCL. [Research Report] Université de Bourgogne. 2019. ⟨hal-01985327⟩
Olivier Bailleux. Attempts to produce minimal Resolution refutations. [Research Report] Université de Bourgogne; UFR Sciences et Techniques. 2018. ⟨hal-01877804⟩
Olivier Bailleux, Yacine Boufkhad, Olivier Roussel. New Encodings of Pseudo-Boolean Constraints into CNF. Theory and Applications of Satisfiability Testing - SAT 2009, Jun 2009, Swansea, United Kingdom. pp.181-194. ⟨hal-00415126⟩
Olivier Bailleux, Yacine Boufkhad. Full CNF Encoding: The Counting Constraints Case. The Seventh International Conference on Theory and Applications of Satisfiability Testing, May 2004, Vancouver, Canada. ⟨hal-00159899⟩
Olivier Bailleux, Yacine Boufkhad, Olivier Roussel. A Translation of Pseudo-Boolean Constraints to SAT. Journal on Satisfiability, Boolean Modeling and Computation, 2006, 2, pp.191-200. ⟨hal-00159880⟩