Satisfiabilité propositionnelle et raisonnement par contraintes : modèles et algorithmes
La thèse porte sur la résolution des problèmes de satisfiabilité propositionnelle (SAT) et des problèmesde satisfaction de contraintes (CSP). Ces deux modèles déclaratifs sont largement utilisés pour résoudredes problèmes combinatoires de première importance comme la vérification formelle de matérie...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | fr |
| Published: |
2011
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2011ARTO0404/document |