Présentation

L'équipe TASC

TASC -- Théorie, Algorithmes et Systèmes en Contraintes -- est une équipe du centre de recherche de Rennes de l'INRIA et du Laboratoire Informatique de Nantes-Atlantique du CNRS. Elle 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.

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 également: bilan, projet et évaluation AERES 2010)
• 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:

Actualité

28 mai-1 juin 2012, Nantes:

L'équipe TASC et le groupe LigéRO organisent CPAIOR'2012. Conference chair: Narendra Jussien et Thierry Petit; Program chair: Narendra Jussien, Nicolas Beldiceanu et Éric Pinson

juillet 2011:

6 papiers acceptés pour publication à la conférence CP'2011 dont le best student paper pour Marie Pelleau et al. Octagonal Domains for Continuous Constraints

avril 2011:

création de l'équipe-projet TASC de l'INRIA Rennes; l'équipe Contraintes est renommée TASC pour l'occasion

avril 2011:

mise en ligne du seeker de contraintes

Contact

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

responsable de l'équipe

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

responsable adjoint

Thierry Petit, Thierry.Petit@mines-nantes.fr, tel: +33 (0)2 51 85 82 08

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

• Filtering AtMostNValue with Difference Constraints: Application to the Shift Minimisation Personnel Task Scheduling Problem (2013).
  Jean-Guillaume Fages Tanguy Lapègue 19th International Conference on Principles and Practice of Constraint Programming (CP'13), best student paper, Lectures Notes in Computer Science 8124
• Prediction of Parallel Speed-ups for Las Vegas Algorithms (2013).
  Charlotte Truchet Florian Richoux Philippe Codognet 2013 International Conference on Parallel Processing (ICPP'13),
• Propagation Engine Prototyping with a Domain Specific Language (2013).
  Charles Prud'homme Xavier Lorca Rémi Douence Narendra Jussien Constraints, to appear
• Three Generalizations of the FOCUS Constraint (2013).
  Nina Narodytska Thierry Petit Mohamed Siala Toby Walsh IJCAI, 23rd International Joint Conference on Artificial Intelligence,
• Asynchronous Forward Bounding Revisited (2013).
  Mohamed Wahbi Redouane Ezzahir Christian Bessiere 19th International Conference on Principles and Practice of Constraint Programming (CP'13), Uppsala, Sweden. Lecture Notes in Computer Science: 708--723.
• Algorithms and Ordering Heuristics for Distributed Constraint Satisfaction Problems (2013). [url]
  Mohamed Wahbi Wiley-ISTE, ISBN 978-1-84821-594-8.
• Nogood-based asynchronous forward checking algorithms (2013). [doi] [url]
  Mohamed Wahbi Redouane Ezzahir Christian Bessiere ElHoussine Bouyakhf Constraints 18(3): 404--433.
• Maintien asynchrone de la consistance d'arc dans la recherche distribuée synchrone (2013).
  Mohamed Wahbi Redouane Ezzahir Christian Bessiere ElHoussine Bouyakhf 9ème Journées Francophones de Programmation par Contraintes, Aix-en-Provence, France. pp. 347--356.
• Une approche basée sur les contraintes pour résoudre le problème d?arbre recouvrant de coût minimum avec contraintes de degré (2013).
  Jean-Guillaume Fages Xavier Lorca Louis-Martin Rousseau 9 emes Journées Francophones de Programmation par Contraintes (JFPC'13), Aix-en-Provence, France. pp. 119-122.
• 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),
• La recherche locale pour la pr\'{e}-programmation d'environnements urbains durables (2013). [paper]
  Bruno Belin Marc Christie Charlotte Truchet Actes JFPC 2013,
• When is it worthwhile to propagate a constraint? A probabilistic analysis of AllDifferent (2013).
  Jérémie Du Boisberranger Danièle Gardy Xavier Lorca Charlotte Truchet Proceedings of the 10th Meeting on Analytic Algorithmics and Combinatorics (ANALCO2013), New Orleans, Louisiana, USA. pp. 80-90.
• A Synchronized Sweep Algorithm for the k-dimensional cumulative Constraint (2013).
  Arnaud Letort Mats Carlsson Nicolas Beldiceanu Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 10th International Conference (CPAIOR'13), Yorktown Heights, NY, USA. Lecture Notes in Computer Science 7874: 144-159.
• GAC for a Linear Inequality and an Atleast Constraint with an Application to Learning Simple Polynomials (2013).
  Naina Razakarison Nicolas Beldiceanu Mats Carlsson Helmut Simonis The Sixth Annual Symposium on Combinatorial Search (SOCS'13), Leavenworth, WA, USA.