TASC research team - bibliography

Author: Xavier Lorca

Propagation Engine Prototyping with a Domain Specific Language (2013).
Charles Prud'homme Xavier Lorca Rémi Douence Narendra Jussien Constraints, to appear
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),
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.

Improving the Asymmetric TSP by Considering Graph Structure (2012). [paper]
Jean-Guillaume Fages Xavier Lorca Technical report 12-4-INFO, Ecole des Mines de Nantes, TASC(LINA/CNRS/INRIA).

Revisiting the tree Constraint (2011).
Jean-Guillaume Fages Xavier Lorca 17th International Conference on Principles and Practice of Constraint Programming (CP'11), Perrugia, Italy. Lecture Notes in Computer Science
Bin-Repacking Scheduling in Virtualized Datacenters (2011).
Fabien Hermenier Sophie Demassey Xavier Lorca 17th International Conference on Principles and Practice of Constraint Programming (CP'11), Perrugia, Italy. Lecture Notes in Computer Science
A Generalized Arc-Consistency Algorithm for a Class of Counting Constraints (2011). [paper]
Thierry Petit Nicolas Beldiceanu Xavier Lorca 22th International Joint Conference on Artificial Intelligence (IJCAI'11),
A Generalized Arc-Consistency Algorithm for a Class of Counting Constraints: Revised Edition that Incorporates One Correction (2011). [paper]
Thierry Petit Nicolas Beldiceanu Xavier Lorca CoRR abs/1110.4719
Tree-based Graph Partitioning Constraint (2011). [url]
Xavier Lorca ISTE/Wiley, ISBN 978-1-84821-303-6.

The increasing-nvalue Constraint (2010). [paper] [slides]
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), Bologna, Italy. Lecture Notes in Computer Science 6140: 25--39.
La contrainte increasing-nvalue (2010). [hal] [paper]
Nicolas Beldiceanu Fabien Hermenier Xavier Lorca Thierry Petit 6èmes Journées Francophones de Programmation par Contraintes (JFPC'10), pp. 71-81.
A GAC Algorithm for a Class of Global Counting Constraints (2010). [paper]
Nicolas Beldiceanu Xavier Lorca Thierry Petit Technical report 10-01-INFO, École des Mines de Nantes.

Undirected Forest Constraints (2009). [hal] [doi]
Nicolas Beldiceanu Irit Katriel Xavier Lorca Annals of Operations Research 171(1): 127--147.
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.
Entropy: a Consolidation Manager for Clusters (2009). [hal] [doi]
Fabien Hermenier Xavier Lorca Jean-Marc Menaud Gilles Müller Julia Lawall ACM International Conference on Virtual Execution Environments (VEE'09), pp. 41--50.
Lazy Composition of Representations in Java (2009). [hal] [paper]
Rémi Douence Xavier Lorca Nicolas Loriant 8th International Conference on Software Composition (SC'09), Lecture Notes in Computer Science
Des contraintes globales prêtes à brancher (2009). [hal] [paper]
Guillaume Richaud Xavier Lorca Narendra Jussien 5èmes Journées Francophones de Programmation par Contraintes (JFPC'09), Orléans, France. pp. 115--124.
On the Clique Partition of Rectangle Graphs (2009). [paper]
Gilles Chabert Xavier Lorca Technical report 09-03-INFO, École des Mines de Nantes.
Toward Plug & Solve Global Constraints (2009).
Guillaume Richaud Xavier Lorca Narendra Jussien Technical report 09-02-INFO, École des Mines de Nantes.

Combining tree Partitioning, Precedence, and Incomparability Constraints (2008). [hal] [doi] [paper]
Nicolas Beldiceanu Pierre Flener Xavier Lorca Constraints 13(4): 459--489.
The CHOCO constraint programming solver (2008). [hal] [paper]
Narendra Jussien Guillaume Rochart Xavier Lorca CPAIOR'08 Workshop on Open-Source Software for Integer and Contraint Programming (OSSICP'08), Paris, France.
Reconfiguration dynamique du placement dans les grilles de calcul dirigée par les objectifs (2008). [hal] [paper]
Fabien Hermenier Xavier Lorca Hadrien Cambazard Jean-Marc Menaud Narendra Jussien 6ème Conférence Française sur les Systèmes d'Exploitation (CFSE'08), Fribourg, France.
Entropy: a Consolidation Manager for Clusters (2008). [hal] [paper]
Fabien Hermenier Xavier Lorca Jean-Marc Menaud Gilles Müller Julia Lawall Technical report 6639, INRIA Rennes.

Necessary Condition for Path Partitioning Constraints (2007). [hal] [paper] [slides]
Nicolas Beldiceanu Xavier Lorca 4th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'07), Brussels, Belgium. Lecture Notes in Computer Science 4150: 141-154.
A portable and efficient implementation of global constraints: the TREE constraint case (2007). [paper]
Guillaume Richaud Xavier Lorca Narendra Jussien 7th Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS'07), pp. 44-56.
Condition nécessaire pour la contrainte de partitionnement de graphes par des chemins (2007). [hal] [url]
Nicolas Beldiceanu Xavier Lorca 3èmes Journées Francophones de Programmation par Contraintes (JFPC'07), Rocquencourt, France. pp. 297--305.
Contraintes de partitionnement de graphe (2007). [hal] [paper]
Xavier Lorca PhD Thesis, Université de Nantes.

Undirected Forest Constraints (2006). [hal] [paper]
Nicolas Beldiceanu Irit Katriel Xavier Lorca 3rd International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'06), Cork, Ireland. Lecture Notes in Computer Science 3990: 29-43.
Contraintes de Partitionnement par des Arbres (2006). [hal] [paper]
Nicolas Beldiceanu Irit Katriel Xavier Lorca 2èmes Journées Francophones de Programmation par Contraintes (JFPC'06), Nîmes, France. pp. 43-53.
Partitionnement de graphes par des arbres sous contraintes de degré (2006). [hal] [paper]
Nicolas Beldiceanu Pierre Flener Xavier Lorca 2èmes Journées Francophones de Programmation par Contraintes (JFPC'06), Nîmes, France. pp. 35-43.
Combining Tree Partitioning, Precedence, Incomparability, and Degree Constraints, with an Application to Phylogenetic and Ordered-Path Problems (2006). [paper]
Nicolas Beldiceanu Pierre Flener Xavier Lorca Technical report 2006-020, Department of Information Technology, Uppsala University, Sweden.

The Tree Constraint (2005). [hal] [paper]
Nicolas Beldiceanu Pierre Flener Xavier Lorca 2nd International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'05), Prague, Czech Republic. Lecture Notes in Computer Science 3524: 64-78.