Présentation

L'équipe Contraintes du Laboratoire Informatique de Nantes-Atlantique regroupe une vingtaine d'enseignants-chercheurs de l'École des Mines de Nantes ou de l'Université de Nantes, oeuvrant dans le domaine de la programmation par contraintes. Elle est issue du rattachement en 2006 d'enseignants-chercheurs de l'Université à l'équipe Contraintes Discrètes, fondée en 1994 à l'École des Mines de Nantes.

Ce site présente les objectifs et la production de l'équipe:

• le projet scientifique: une description de la thématique générale et des axes de recherche spécifiques (voir: projet 2007 [pdf] évaluation CNRS)
• la liste des publications
• les projets de recherche réalisés en partenariat académique et industriel
• les ressources, logiciels, outils de valorisation et de communication mis à disposition, dont:

Proposition de stage

• Été 2010: Analysis and Comparison of Parameter Tuning for Local Search Algorithms.
  Contact: Charlotte.Truchet@univ-nantes.fr

N'hésitez pas à contacter les membres de l'équipe individuellement ou:

responsable de l'équipe

Nicolas Beldiceanu, Nicolas.Beldiceanu@emn.fr, tel: +33 (0)2 51 85 82 42

responsable adjointe

Charlotte Truchet, charlotte.truchet@univ-nantes.fr, tel: +33 (0)2 51 12 58 17

assistante

Catherine Fourny, tel: +33 (0)2 51 85 82 12, fax: +33 (0)2 51 85 82 49

adresse

École des Mines de Nantes
Équipe Contraintes - Département Informatique
4 rue Alfred Kastler, BP 20722
44307 Nantes Cedex 03, France

Dernières publications

• Efficient Algorithms for Singleton Arc Consistency (2010). [hal] [doi] [paper]
  Christian Bessiere Stephane Cardon Romuald Debruyne Christophe Lecoutre Constraints 15
• Improving Inter-Block Backtracking with Interval Newton (2010). [doi] [paper]
  Bertrand Neveu Gilles Trombettoni Gilles Chabert Constraints 15
• Global Propagation of Side Constraints for Solving Over-constrained Problems (2010). [hal] [doi] [paper]
  Thierry Petit Emmanuel Poder Annals of Operations Research
• New Filtering for the cumulative Constraint in the Context of Non-Overlapping Rectangles (2010). [doi]
  Nicolas Beldiceanu Mats Carlsson Sophie Demassey Emmanuel Poder Annals of Operations Research
• The Increasing Nvalue Constraint (2010). [paper]
  Nicolas Beldiceanu Fabien Hermenier Xavier Lorca Thierry Petit 7th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'10), Lecture Notes in Computer Science
• On Matrices, Automata and Double Counting (2010).
  Nicolas Beldiceanu Mats Carlsson Pierre Flener Justin Pearson 7th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'10), Lecture Notes in Computer Science ?: ?-?.
• Un algorithme de génération de colonnes pour le problème de capacité d'infrastructure ferroviaire (2010). [hal]
  Aurélien Merel Sophie Demassey Xavier Gandibleux 11ème congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF'10), Toulouse, France.