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:

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

• Global Propagation of Side Constraints for Solving Over-constrained Problems (2010). [paper]
  Thierry Petit Emmanuel Poder to appear in Annals of Operations Research
• New Filtering for the cumulative Constraint in the Context of Non-Overlapping Rectangles (2010).
  Nicolas Beldiceanu Mats Carlsson Sophie Demassey Emmanuel Poder to appear in Annals of Operations Research
• A Constraint on the Number of Distinct Vectors with Application to Localization (2009). [hal] [paper]
  Gilles Chabert Luc Jaulin Xavier Lorca 15th International Conference on Principles and Practice of Constraint Programming (CP'09), Lecture Notes in Computer Science 5732: 196-210.
• Hull Consistency Under Monotonicity (2009). [hal] [paper]
  Gilles Chabert Luc Jaulin 15th International Conference on Principles and Practice of Constraint Programming (CP'09), Lecture Notes in Computer Science 5732: 188-195.
• Making Bound Consistency as Effective as Arc Consistency (2009). [hal] [paper]
  Christian Bessière Thierry Petit Bruno Zanuttini 21th International Joint Conference on Artificial Intelligence (IJCAI'09),
• Sequencing and counting with the multicost-regular constraint (2009). [hal] [doi] [paper]
  Julien Menana Sophie Demassey 6th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'09), Pittsburgh, USA. Lecture Notes in Computer Science 5547: 178-192.
• Six Ways of Integrating Symmetries within Non-Overlapping Constraints (2009). [doi] [slides]
  Magnus Ågren Nicolas Beldiceanu Mats Carlsson Mohammed Sbihi Charlotte Truchet Stéphane Zampelli 6th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'09), Pittsburgh, USA. Lecture Notes in Computer Science 5547: 11-25.