RPC - Résolution de Problèmes Combinatoires
The course content is only in French. Half of the course material is provided by Loïc Blet and is only available to EPITA students.
Formaliser, Modéliser (par Loïc Blet)
Cours
Formaliser, Modéliser (par Loïc Blet)
\(NP\)-Complétude & Solutions ad-hoc (par Loïc Blet)
Cours
\(NP\)-Complétude & Solutions ad-hoc (par Loïc Blet)
Ressources
Sudoku
Quelques liens vers des instances de sudoku :
Programmation par contraintes (par Loïc Blet)
Cours
Bibliothèques
MiniCP
C’est un moteur de programmation par contraintes minimaliste, à explorer pour voir les bases du moteur de propagation de contraintes, par exemple.
MiniZinc
Un logiciel de modélisation par contraintes générique, avec plein d’interfaces vers plein de solveurs. Donné avec un IDE qui permet de lancer les résolutions.
Le tutoriel pour prendre en main l’outil : https://docs.minizinc.dev/en/stable.
Satisfiabilité Booléenne
Cours
SAT
Introductions aux algorithmes DPLL et CDCL
Propagateurs personnalisés
Cours
Progagateurs personnalisés
Introduction aux algorithmes de propagations
TP
Implémentation des règles du Sudoku dans la bibliothèque Choco
Programmation linéaire (par Loïc Blet)
Cours
Programmation linéaire en nombres entiers (par Loïc Blet)
Cours
Recherche locale (par Loïc Blet)
Cours
Recherche locale
Introduction aux techniques non-exhaustives
CP-SAT
Cours
CP-SAT
TD
Modélisation
Références
Or-Tools
Présentation de l’équipe Google sur OR-Tools après la master class à CPAIOR’20
Invited Talk de Peter J. Stuckey à CP’13
Présentation de Peter J. Stuckey à la conférence CP’13. La présentation parle des techniques d’apprentissage dans la résolution de problèmes combinatoires.
Satisfiability Modulo Theory
Références
Satisfiability Modulo Theory
Présentation de Gérard Berry au Collège de France