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...
Enregistré dans:
| 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
-
Apprentissage de problèmes de contraintes
(Thèse numérique)
Lopez, Matthieu, 1984-
, 2011 -
Etude de la compilation des langages logiques de programmation par contraintes sur les domaines finis : le système clp (FD)
(Thèse et Mémoire papier)
Diaz, Daniel, 1965-
, 1995 -
Etude de la compilation des langages logiques de programmation par contraintes sur les domaines finis : le système clp (FD)
(Thèse numérique)
Diaz, Daniel, 1965-
[CCSD], 2014 -
Contribution à la validation de programmes concurrents avec contraintes
(Thèse et Mémoire papier)
Chambre, Pascal
[Éditeur inconnu], 1997 -
Explications de retraits de valeurs en programmation par contraintes et application au diagnostic déclaratif
(Thèse et Mémoire papier)
Lesaint, Willy, 1975-
[s.n.], 2003