|
|
Éléments de flexibilité et d'efficacité en programmation par contraintes
Xavier Lorca
Informatique [cs]. Université de Nantes, 2014
Habilitation à diriger des recherches
tel-01096401v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Contrôle de la propagation et de la recherche dans un solveur de contraintes
Charles Prud'Homme
Theses
tel-01060921v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Ordonnancement cumulatif en programmation par contraintes : caractérisation énergétique des raisonnements et solutions robustes
Alban Derrien
Theses
tel-01242789v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
The versatility of using explanations within constraint programming
Narendra Jussien
Other [cs.OH]. Université de Nantes, 2003
Habilitation à diriger des recherches
tel-00293905v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Conception interactive d’environnements urbains durables à base de résolution de contraintes
Bruno Belin
Modélisation et simulation. Université de Nantes, 2014. Français. ⟨NNT : ⟩
Theses
tel-01095433v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Exploitation de structures de graphe en programmation par contraintes
Jean-Guillaume Fages
Algorithme et structure de données [cs.DS]. Ecole des Mines de Nantes, 2014. Français. ⟨NNT : 2014EMNA0190⟩
Theses
tel-01085253v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Concilier Expressivité et Efficacité en Programmation par Contraintes
Thierry Petit
Intelligence artificielle [cs.AI]. Université de Nantes, 2014
Habilitation à diriger des recherches
tel-01095608v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Packing curved objects with interval methods
Ignacio Antonio Salas Donoso
Theses
tel-01331876v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Automates et programmation par contraintes pour la planification de personnel
Julien Menana
Intelligence artificielle [cs.AI]. Université de Nantes, 2011. Français. ⟨NNT : ⟩
Theses
tel-00785838v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Passage à l'échelle pour les contraintes d'ordonnancement multi-ressources
Arnaud Letort
Algorithme et structure de données [cs.DS]. Ecole des Mines de Nantes, 2013. Français. ⟨NNT : 2013EMNA0113⟩
Theses
tel-00932215v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|