Équipe enseignante
Supports de cours
Évaluation
- 10% Quicks (brèves interros durant les TDs)
- 20% Partiel
- 30% Projet
- 40% Examen
Projet
Par groupes de 3 (éventuellement 4)
- Phase 1 : Modélisation en forme normale conjonctive d'un problème de votre choix
- Phase 2 : Programmation d'une interface logicielle pour traduire automatiquement tout instance de ce problème au format Dimacs et utilisation d'un SAT solveur pour résoudre le problème
- Optionnel : Mise au format 3-SAT et écriture d'un SAT solveur (non-déterministe)
Sujet détaillé
Autres documents liés au projet
Des idées de problèmes bien adaptés à ce projet
- Facile :
- Moyen :
- Difficile :
-
Des sujets à éviter, pour des raisons théoriques ou par expérience :
- Trop superficiel : organisation d'un tournoi de football
- Déjà traité de multiples fois les années passées : Tout noir tout blanc, Dosun-Fuwari, Hashiwokakero
- Possible mais très ardu : Camping, Antimorpion, Nonogram
- Problème mal adapté à une modélisation statique : solitaire, dames, échecs, go, taquin, master mind
- Nécessité de calculs difficiles à modéliser : Kakuro