Type: Theses

2013

• Propagation Engine Prototyping with a Domain Specific Language (2013).
  Charles Prud'homme Xavier Lorca Rémi Douence Narendra Jussien Constraints, to appear
• Prototyper des Moteurs de Propagation avec un DSL (2013).
  Charles Prud'homme Xavier Lorca Rémi Douence Narendra Jussien 9èmes Journées Francophones de Programmation par Contraintes(JFPC'13),

2011

• Multi-Agent Electro-Location and the Among Constraint (2011). [hal] [paper]
  Gilles Chabert Frédéric Boyer Sophie Demassey Technical report 00598712, INRIA.

2010

• Abstract Domains for Constraint Programming, with the Example of Octagons (2010). [doi]
  Charlotte Truchet Marie Pelleau Frédéric Benhamou 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, pp. 72-79.

2009

• Closing the Open Shop: Contradicting Conventional Wisdom (2009). [doi] [url]
  Diarmuid Grimes Emmanuel Hebrard Arnaud Malapert 15th International Conference on Principles and Practice of Constraint Programming (CP'09), Lecture Notes in Computer Science 5732: 400-408.
• Outillage logiciel pour les problèmes dynamiques (2009). [hal]
  Guillaume Richaud PhD Thesis, Université de Nantes.

2008

• Placement de caméra en environnements virtuels (2008).
  Jean-Marie Normand PhD Thesis, Université de Nantes.
• Optimisation des tournées de véhicules dans le cadre de la logistique inverse : modélisation et résolution par des méthodes hybrides (2008). [hal]
  Émilie Grellier PhD Thesis, Université de Nantes.

2007

• Contraintes de partitionnement de graphe (2007). [hal] [paper]
  Xavier Lorca PhD Thesis, Université de Nantes.

2006

• Résolution de problèmes combinatoires par des approches fondées sur la notion d'explication (2006). [hal] [paper]
  Hadrien Cambazard PhD Thesis, Université de Nantes.

2005

• Explications pratiques pour la programmation par contraintes (2005).
  Guillaume Rochart PhD Thesis, Université de Nantes.
• Morphologie des ensembles ordonnés : Répercussions algorithmiques (2005).
  Jimmy Leblet PhD Thesis, Université de Nantes.

2003

• Outils d'aide à la décision pour des problèmes d'ordonnancement dynamiques (2003).
  Abdallah Elkhyari PhD Thesis, Université de Nantes.
• Outils de mise au point pour la programmation par contraintes (2003).
  Samir Ouis PhD Thesis, Université de Nantes.
• The versatility of using explanations within constraint programming (2003). [hal]
  Narendra Jussien Habilitation thesis of Université de Nantes.
• Contraintes Globales: Aspects Algorithmiques et Déclaratifs (2003). [slides]
  Nicolas Beldiceanu Habilitation thesis of Université Paris 6.

2002

• Modélisation et algorithmes de résolution des problèmes sur-contraints (2002). [paper]
  Thierry Petit PhD Thesis, LIRMM-Université de Montpellier II.

1998

• Etude des consistances locales pour les problèmes de satisfaction de contraintes de grande taille (1998). [url]
  Romuald Debruyne PhD Thesis, LIRMM-Université de Montpellier II.

1997

• Relaxation de Contraintes pour les problèmes dynamiques (1997). [hal] [paper]
  Narendra Jussien PhD Thesis, Université de Rennes I.

1994

• Prise en compte de la sémantique dans les problèmes de satisfaction de contraintes : Étude des contraintes fonctionnelles (1994).
  Philippe David PhD Thesis, Université Montpellier II.
• Relaxation de contraintes -- études et perspectives (1994).
  Narendra Jussien Master Thesis, Institut de Mathématiques Appliquées, Angers, France.

1993

• Variations en Programmation Logique sous Contraintes (1993).
  Narendra Jussien Master Thesis, Institut de Mathématiques Appliquées, Angers, France.

1992

• NEREIS: Système expert de reconnaissance d'Annélides Polychètes (1992).
  Narendra Jussien Vincent Verger Master Thesis, Institut de Mathématiques Appliquées, Angers, France.

1988

• Langage de Règles et Moteur d'Inférences Basés sur des Contraintes et des Actions. Application aux Réseaux de Petri. (1988).
  Nicolas Beldiceanu PhD Thesis, Université Paris 6.