Intelligence Artificielle
Lab 7: Satisfaction de contraintes
Fichiers
Objectifs de la série
Exercice 1 : Variable Ordering
Exercice 2 : Algorithme Forward Checking
Exercice 3 : Dynamic Variable Ordering
Exercice 4 : Sudoku
Documentation du code
libPSC
PSC
sudoku
Modules de test
Intelligence Artificielle
Docs
»
Documentation du code
Documentation du code
¶
libPSC
Module variable et noeud pour PSC
PSC
Module implementant les algorithmes du backtracking et du forward
sudoku
Implementation d’un exemple de probleme de contraintes sur la base du
Modules de test
¶
test
Test des modules PSC et libPSC