Apprentissage de solveurs de contraintes sur les domaines finis

La programmation par contraintes est un outil très puissant de modélisation et de résolution de problèmes. Un problème est modélisé par un ensemble de variables et un ensemble de contraintes sur ces variables. Les solutions sont ensuite trouvées par un système appelé solveur de contraintes. Un solve...

Description complète

Enregistré dans:
Détails bibliographiques
Auteur principal: Legtchenko, Andréï, 1978 -
Autres auteurs: Vrain, Christel, 1961- (Directeur de thèse)
Format: Thèse et Mémoire papier
Langue:Français
Publié: [S.l.] : [s.n.] 2005.
Sujets:
Autres localisations: Voir dans le Sudoc
Variante du titre:Finite domain constraint solver learning

Documents similaires