Hybridation de méthodes complètes pour la résolution de CSP

L'hybridation des mécanismes de méthodes incomplètes et des techniques de programmation par contraintes est souvent basée sur des combinaisons de type maître-esclave, dédiées à la résolution de classes de probèmes sécifiques. Dans cette thèse, nous nous intéressons à la définition d'un mod...

Description complète

Enregistré dans:
Détails bibliographiques
Auteur principal : Lambert Tony (Auteur)
Collectivités auteurs : Université de Nantes 1962-2021 (Organisme de soutenance), École doctorale sciences et technologies de l'information et des matériaux Nantes (Organisme de soutenance)
Autres auteurs : Monfroy Éric (Directeur de thèse), Saubion Frédéric (Directeur de thèse)
Format : Thèse ou mémoire
Langue : français
Titre complet : Hybridation de méthodes complètes pour la résolution de CSP / Tony Lambert; Éric Monfroy, directeur de thèse ; Frédéric Saubion, co-directeur
Publié : [S.l.] : [s.n.] , 2006
Accès en ligne : Accès Nantes Université
Note de thèse : Thèse doctorat : Informatique : Nantes : 2006
Sujets :
Documents associés : Reproduction de: Hybridation de méthodes complètes et incomplètes pour la résolution de CSP