Les cohérences fortes : où, quand, et combien
Déterminer si un problème de satisfaction de contraintes (CSP) a une solution ou non est NP-complet. Les CSP sont résolus par inférence (c’est-à-dire, en appliquant un algorithme de cohérence), par énumération (c’est-à-dire en effectuant une recherche avec retour sur trace ou backtracking), ou, plus...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | en |
| Published: |
2018
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2018MONTS145/document |