SAT solving, Constraint translation and decomposition, Stochastic local search, Genetic algorithms.
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
- identite:
- Bailleux Olivier
- statut:
- a:1:{i:0;s:7:"MCF HDR";}
- equipe:
- Science des Données
- fonction:
- a:1:{i:0;s:20:"enseignant chercheur";}
- adresse_postale:
- Université de Bourgogne, UFR Sciences et Techniques, 9 rue Alain Savary, 21078 Dijon Cedex
- telephone:
- (+33) 3 80 39 58 49
- localisation:
- Mirande, aile G, bureau GR20
- courriel:
- olivier.bailleux@u-bourgogne.fr
- url_site_perso_ou_professionnel:
- http://bailleux.net/pagepro/
- travaux_de_recherche_passes:
- enseignements_dispenses:
- autres_activites:
- photo_de_profil:
- 175
- kc_data:
- a:8:{i:0;s:0:"";s:4:"mode";s:2:"kc";s:3:"css";s:0:"";s:9:"max_width";s:0:"";s:7:"classes";s:0:"";s:9:"thumbnail";s:0:"";s:9:"collapsed";s:0:"";s:9:"optimized";s:0:"";}
- kc_raw_content: