Apprentissage de problèmes de contraintes
La programmation par contraintes permet de modéliser des problèmes et offre des méthodes de résolution efficaces. Cependant, sa complexité augmentant ces dernières années, son utilisation, notamment pour modéliser des problèmes, est devenue limitée à des utilisateurs possédant une bonne expérience d...
Guardat en:
| Autor principal: | Lopez, Matthieu, 1984- |
|---|---|
| Altres autors: | Lallouet, Arnaud (Directeur de thèse, Oponent) |
| Format: | Thèse numérique |
| Idioma: | Français |
| Publicat: |
2011.
|
| Matèries: | |
| Accés en línia: | Accès au texte intégral https://theses.univ-orleans.fr/public/2011ORLE2058_va.pdf http://www.theses.fr/2011ORLE2058/abes https://theses.hal.science/tel-00668156 |
| Nota: |
Titre provenant de l'écran-titre Ecole(s) Doctorale(s) : École doctorale Sciences et technologies (Orléans ; 2009-2012) Partenaire(s) de recherche : Laboratoire d'informatique fondamentale d'Orléans (Laboratoire), Laboratoire d'Informatique Fondamentale d'Orléans (Laboratoire) Autre(s) contribution(s) : Laurent Granvilliers (Président du jury) ; Arnaud Lallouet, Laurent Granvilliers, Sais Lakhdar, Michèle Sebag, Lionel Martin, Céline Rouveirol, Christel Vrain (Membre(s) du jury) ; Sais Lakhdar, Michèle Sebag (Rapporteur(s)) |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | Constraint problems learning |
Ítems similars
-
Clustering sous contraintes : intégration incrémentale et active des retours utilisateur
(Thèse numérique)
Beauchamp, Aymeric, 1996-
, 2025 -
Apprentissage de solveurs de contraintes sur les domaines finis
(Thèse et Mémoire papier)
Legtchenko, Andréï, 1978 -
[s.n.], 2005 -
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 -
Modélisation et résolution de problèmes de décision et d'optimisation hiérarchiques en utilisant des contraintes quantifiées
(Thèse numérique)
Vautard, Jérémie, 1982-
, 2010 -
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