Number of documents

38

Xavier Lorca


Mines Nantes   

Journal articles6 documents

Conference papers23 documents

  • Xavier Lorca, Charles Prud'Homme, Aurélien Questel, Benoît Rottembourg. Using Constraint Programming for the Urban Transit Crew Rescheduling Problem. Principles and Practice of Constraint Programming, Sep 2016, Toulouse, France. pp.636 - 649, ⟨10.1007/978-3-319-44953-1_40⟩. ⟨hal-01436288⟩
  • Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Xavier Lorca, Justin Pearson, et al.. A Modelling Pearl with Sortedness Constraints. Global conference on artificial intelligence, Oct 2015, Tbilisi, Georgia. ⟨hal-01186680⟩
  • Jean-Guillaume Fages, Xavier Lorca, Thierry Petit. Self-decomposable Global Constraints. ECAI 2014, 21st International Conference on Artificial Intelligence, Aug 2014, Prague, Czech Republic. pp.297-302, ⟨10.3233/978-1-61499-419-0-297⟩. ⟨hal-01088964⟩
  • Charles Prud'Homme, Xavier Lorca, Rémi Douence, Narendra Jussien. Prototyper des Moteurs de Propagation avec un DSL. Journées française de la Programmation par Contraintes, 2013, Aix-en-Provence, France. pp.279-288. ⟨hal-00867713⟩
  • Jérémie Du Boisberranger, Danièle Gardy, Xavier Lorca, Charlotte Truchet. When is it worthwhile to propagate a constraint? A probabilistic analysis of AllDifferent. Meeting on Analytic Algorithmics and Combinatorics, 2013, New Orleans, Louisiana, USA, United States. pp.80-90. ⟨hal-00867576⟩
  • Fabien Hermenier, Sophie Demassey, Xavier Lorca. Bin Repacking Scheduling in Virtualized Datacenters. Jimmy Lee. 17th International Conference, CP 2011, Sep 2011, Perugia, Italy. Springer, 6876, pp.27-41, 2011, Lecture Notes in Computer Science. 〈10.1007/978-3-642-23786-7_5〉. 〈hal-00684764〉
  • Xavier Lorca, Jean-Guillaume Fages. Revisiting the tree Constraint. Principles and Practice of Constraint Programming, 2011, Perugia, Italy. pp.271-285, ⟨10.1007/978-3-642-23786-7_22⟩. ⟨hal-00644787⟩
  • Thierry Petit, Nicolas Beldiceanu, Xavier Lorca. A Generalized Arc-Consistency Algorithm for a Class of Counting Constraints. 22th International Joint Conference on Artificial Intelligence (IJCAI'11), Aug 2011, Barcelona, Spain. pp.643-648. ⟨hal-00754017⟩
  • Nicolas Beldiceanu, Fabien Hermenier, Xavier Lorca, Thierry Petit. The Increasing Nvalue Constraint. Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, Jun 2010, Bologna, Italy. ⟨10.1007/978-3-642-13520-0_5⟩. ⟨hal-00915800⟩
  • Nicolas Beldiceanu, Fabien Hermenier, Xavier Lorca, Thierry Petit. La contrainte Increasing NValue. JFPC 2010 - Sixièmes Journées Francophones de Programmation par Contraintes, Jun 2010, Caen, France. pp.61-70. ⟨inria-00520296v2⟩
  • Gilles Chabert, Luc Jaulin, Xavier Lorca. A Constraint on the Number of Distinct Vectors with Application to Localization. CP'09 (15th International Conference on Principles and Practice of Constraint Programming), Sep 2009, Lisbon, Portugal. p. 196-210. ⟨hal-00428967⟩
  • Rémi Douence, Xavier Lorca, Nicolas Loriant. Lazy Composition of Representations in Java. SC'09 (International Conference on Software Composition), Jul 2009, Lille, France. pp.55-71. ⟨inria-00403417⟩
  • Guillaume Richaud, Xavier Lorca, Narendra Jussien. Des contraintes globales prêtes à brancher. Cinquièmes Journées Francophones de Programmation par Contraintes, Orléans, juin 2009, Jun 2009, France. pp.115-125. ⟨hal-00387812⟩
  • Fabien Hermenier, Xavier Lorca, Jean-Marc Menaud, Gilles Muller, Julia L. Lawall. Entropy: a Consolidation Manager for Clusters. VEE 2009 - 5th International Conference on Virtual Execution Environments, Mar 2009, Washington, DC, United States. pp.41-50, ⟨10.1145/1508293.1508300⟩. ⟨hal-01102354⟩
  • Narendra Jussien, Guillaume Rochart, Xavier Lorca. Choco: an Open Source Java Constraint Programming Library. CPAIOR'08 Workshop on Open-Source Software for Integer and Contraint Programming (OSSICP'08), 2008, Paris, France, France. pp.1-10. ⟨hal-00483090⟩
  • Fabien Hermenier, Xavier Lorca, Hadrien Cambazard, Jean-Marc Menaud, Narendra Jussien. Reconfiguration dynamique du placement dans les grilles de calculs dirigée par des objectifs. 6ième Conférence Francophone sur les Systèmes d'Exploitation (CFSE'06), 2008, Fribourg, Suisse. ⟨inria-00420351⟩
  • Fabien Hermenier, Xavier Lorca, Hadrien Cambazard, Jean-Marc Menaud, Narendra Jussien. Reconfiguration dynamique du placement dans les grilles de calcul dirigée par les objectifs. Sixième Conférence Française sur les Systèmes d'Exploitation (CFSE'08), 2008, Fribourg, France. ⟨hal-00869094⟩
  • Nicolas Beldiceanu, Xavier Lorca. Necessary Condition for Path Partitioning Constraints. 4th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'07), 2007, Brussels, Belgium. pp.141-154. ⟨hal-00481563⟩
  • Nicolas Beldiceanu, Xavier Lorca. Condition nécessaire pour la contrainte de partitionnement de graphes par des chemins. Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), Jun 2007, Rocquencourt / France. ⟨inria-00151230⟩
  • Nicolas Beldiceanu, Irit Katriel, Xavier Lorca. Undirected Forest Constraints. Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'06), 2006, Cork, Ireland. pp.29-43. ⟨hal-00481573⟩
  • Nicolas Beldiceanu, Xavier Lorca, Irit Katriel. Contraintes de Partitionnement par des Arbres. Deuxièmes Journées Francophones de Programmation par Contraintes (JFPC06), 2006, Nîmes - Ecole des Mines d'Alès / France. ⟨inria-00085803⟩
  • Nicolas Beldiceanu, Pierre Flener, Xavier Lorca. Partitionnement de graphes par des arbres sous contraintes de degré. Deuxièmes Journées Francophones de Programmation par Contraintes (JFPC06), 2006, Nîmes - Ecole des Mines d'Alès / France. ⟨inria-00085802⟩
  • Nicolas Beldiceanu, Pierre Flener, Xavier Lorca. The Tree Constraint. International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CP-AI-OR'05), 2005, Prague, Czech Republic, Czech Republic. pp.64--78. ⟨hal-00445174⟩

Books1 document

  • Xavier Lorca. Tree-based Graph Partitioning Constraint. Wiley-ISTE. 2011, 978-1-84821-303-6. ⟨hal-01087839⟩

Other publications2 documents

  • Nicolas Beldiceanu, Xavier Lorca, Thierry Petit. A GAC Algorithm for a Class of Global Counting Constraints. 2010. ⟨hal-00517122⟩
  • Nicolas Beldiceanu, Pierre Flener, Xavier Lorca. Combining Tree Partitioning, Precedence, Incomparability, and Degree Constraints, with an Application to Phylogenetic and Ordered-Path Problems, Technical report 2006-20 of Uppsala University.. 2006. ⟨hal-00481578⟩

Reports4 documents

  • Jean-Guillaume Fages, Xavier Lorca. Improving the Asymmetric TSP by Considering Graph Structure. 2012. ⟨hal-00707510⟩
  • Jérémie Du Boisberranger, Danièle Gardy, Charlotte Truchet, Xavier Lorca. A Probabilistic Study of Bound Consistency for the Alldifferent Constraint. 2011. ⟨hal-00588888⟩
  • Thierry Petit, Nicolas Beldiceanu, Xavier Lorca. A Generalized Arc-Consistency Algorithm for a Class of Counting Constraints:Revised Edition that Incorporates One Correction. 2011. ⟨hal-00754032⟩
  • Fabien Hermenier, Xavier Lorca, Jean-Marc Menaud, Gilles Muller, Julia Lawall. Entropy: a Consolidation Manager for Clusters. [Research Report] RR-6639, INRIA. 2008. ⟨inria-00320204v2⟩

Theses1 document

  • Xavier Lorca. Contraintes de Partitionnement de Graphe. Autre [cs.OH]. Université de Nantes, 2007. Français. ⟨tel-00484354⟩

Habilitation à diriger des recherches1 document

  • Xavier Lorca. Éléments de flexibilité et d'efficacité en programmation par contraintes. Informatique [cs]. Université de Nantes, 2014. ⟨tel-01096401⟩