Presentation

The Constraints team of the computer science laboratory of Nantes-Atlantique (LINA) gathers about 20 teachers/researchers from the École des Mines de Nantes and from Nantes University, working in the area of constraint programming. It results from the merging in 2006 of some researchers from Nantes University with the Discrete Contraint group, founded in 1994 within École des Mines de Nantes.

This website presents the objectives and productions of the team:

• the scientific project: a description of the themes and specific research orientations
• the list of publications
• research projects carried out with other academic institutions and industrial partnerships
• resources, softwares, communication material, of which:

Traineeship proposal

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

Please feel free to contact us with any questions, comments, or other inquiries you have.

head

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

vice head

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

assistant

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

postal mail

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

Last 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.