Méthode SAT et algorithme DPLL appliqués à un problème de recherche opérationnelle
La littérature fait état des travaux de recherches qui ont été menés pour la résolution des problèmes d'ordonnancement de production. La complexité de ces problèmes rend nécessaire l'emploi de stratégies de recherche de solutions évoluées. Parmi celle-ci figure le formalisme du calcul pro...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
2006
|
| Subjects: | |
| Online Access: | http://www.archipel.uqam.ca/3180/1/M9460.pdf |