Search - Archive ouverte HAL Access content directly

Filter your results

10 Results
Structure: Internal structure identifier : 154700
Image document

É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
Image document

Contrôle de la propagation et de la recherche dans un solveur de contraintes

Charles Prud'Homme
Intelligence artificielle [cs.AI]. Ecole des Mines de Nantes, 2014. Français. ⟨NNT : 2014EMNA0194⟩
Theses tel-01060921v1
Image document

Ordonnancement cumulatif en programmation par contraintes : caractérisation énergétique des raisonnements et solutions robustes

Alban Derrien
Intelligence artificielle [cs.AI]. Ecole des Mines de Nantes, 2015. Français. ⟨NNT : 2015EMNA0230⟩
Theses tel-01242789v1
Image document

The versatility of using explanations within constraint programming

Narendra Jussien
Other [cs.OH]. Université de Nantes, 2003
Habilitation à diriger des recherches tel-00293905v1
Image document

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
Image document

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
Image document

Concilier Expressivité et Efficacité en Programmation par Contraintes

Thierry Petit
Intelligence artificielle [cs.AI]. Université de Nantes, 2014
Habilitation à diriger des recherches tel-01095608v1
Image document

Packing curved objects with interval methods

Ignacio Antonio Salas Donoso
Artificial Intelligence [cs.AI]. Ecole des Mines de Nantes, 2016. English. ⟨NNT : 2016EMNA0277⟩
Theses tel-01331876v1
Image document

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
Image document

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