Tabu-NG : hybridation de programmation par contraintes et recherche locale pour la résolution de CSP
Un très grand nombre de problèmes combinatoires appartient à la famille des problèmes de satisfaction de contraintes (Constraint Satisfaction Problem ou CSP) : configuration, ordonnancement, affectation de ressources... Ces problèmes partagent une description commune qui autorise en général une modé...
Main Author: | Dib, Mohammad |
---|---|
Language: | FRE |
Published: |
Université de Technologie de Belfort-Montbeliard
2010
|
Subjects: | |
Online Access: | http://tel.archives-ouvertes.fr/tel-00607503 http://tel.archives-ouvertes.fr/docs/00/60/75/03/PDF/DIB_Mohammad_TheseUTBM.pdf |
Similar Items
-
Tabu-NG : hybridation de programmation par contraintes et recherche locale pour la résolution de CSP
by: Dib, Mohammad
Published: (2010) -
Contraintes globales et heuristiques de recherche pour les CSPs continus
by: Batnini, Heikel
Published: (2005) -
Contribution à la vérication formelle et programmation par contraintes
by: Collavizza, Hélène
Published: (2009) -
Approche à contraintes pour la sélection de Covering Array
by: Hervieu, Aymeric
Published: (2013) -
Validation de métriques de testabilité logicielle pour les programmes objets
by: Shaheen, Muhammad Rabee
Published: (2009)