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, 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⟩