Stefan Szeider
IdRefMots clés
FR |
EN
Problème de satisfaction de Contraintes
Classe traitable
Polymorphisme
Backdoor
Complexité paramétrée
Kernelisation
Contraintes (intelligence artificielle)
Programmation par contraintes
Compilation de connaissances
Circuit sous Forme Normale Negative Decomposable
Formules de Tseitin
Résolution de problème -- Informatique
Calcul des propositions