Nombre de documents

36

Xavier Lorca


Article dans une revue5 documents

  • Charles Prud'Homme, Xavier Lorca, Rémi Douence, Narendra Jussien. Propagation Engine Prototyping with a Domain Specific Language. Constraints, Springer Verlag, 2014, 19 (1), pp.57-76. <10.1007/s10601-013-9151-5>. <hal-00867604>
  • Xavier Lorca, Jean-Guillaume Fages, Louis-Martin Rousseau. The salesman and the tree: the importance of search in CP. Constraints, Springer Verlag, 2014, pp.318-333. <10.1007/s10601-014-9178-2>. <hal-01097544>
  • Xavier Lorca, Charles Prud'Homme, Narendra Jussien. Explanation-Based Large Neighborhood Search. Constraints, Springer Verlag, 2014, 19 (4), pp.339-379. <10.1007/s10601-014-9166-6>. <hal-01087844>
  • Nicolas Beldiceanu, Irit Katriel, Xavier Lorca. Undirected Forest Constraints. Annals of Operations Research, Springer Verlag, 2009, 171 (1), pp.127-147. <10.1007/s10479-008-0374-6>. <hal-00481471>
  • Nicolas Beldiceanu, Pierre Flener, Xavier Lorca. Combining tree Partitioning, Precedence, and Incomparability Constraints. Constraints, Springer Verlag, 2008, 13 (4), pp.459-489. <10.1007/s10601-007-9040-x>. <hal-00481533>

Communication dans un congrès22 documents

  • 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. 2015, <http://easychair.org/smart-program/GCAI2015/>. <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. 263, 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, 2013. <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. Markus Nebel and Wojciech Szpankowski. Meeting on Analytic Algorithmics and Combinatorics, 2013, New Orleans, Louisiana, USA, United States. pp.80-90, 2013. <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; Principles and Practice of Constraint Programming. <10.1007/978-3-642-23786-7_5>. <hal-00684764>
  • Xavier Lorca, Jean-Guillaume Fages. Revisiting the tree Constraint. Lee, Jimmy. Principles and Practice of Constraint Programming, 2011, Perugia, Italy. Springer Berlin / Heidelberg, 6876, pp.271-285, 2011, Lecture Notes in Computer Science. <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. IJCAI/AAAI. 22th International Joint Conference on Artificial Intelligence (IJCAI'11), Aug 2011, Barcelona, Spain. pp.643-648, 2011. <hal-00754017>
  • 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, 2010. <inria-00520296v2>
  • Nicolas Beldiceanu, Fabien Hermenier, Xavier Lorca, Thierry Petit. The Increasing Nvalue Constraint. Andrea Lodi and Michela Milano and Paolo Toth. Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, Jun 2010, Bologna, Italy. Springer, 6140, 2010, <10.1007/978-3-642-13520-0_5>. <hal-00915800>
  • 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. ACM, ACM SIGPLAN/SIGOPS, pp.41-50, 2009, <10.1145/1508293.1508300>. <hal-01102354>
  • Rémi Douence, Xavier Lorca, Nicolas Loriant. Lazy Composition of Representations in Java. SC'09 (International Conference on Software Composition), Jul 2009, Lille, France. Springer Verlag, 5634, pp.55-71, 2009. <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, 2009. <hal-00387812>
  • Gilles Chabert, Luc Jaulin, Xavier Lorca. A Constraint on the Number of Distinct Vectors with Application to Localization. Ian P. Gent. CP'09 (15th International Conference on Principles and Practice of Constraint Programming), Sep 2009, Lisbon, Portugal. Springer Verlag, 5732, p. 196-210, 2009, LNCS (Lecture Notes in Computer Science). <hal-00428967>
  • 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, 2008. <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. 2008. <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. 2008. <hal-00869094>
  • 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, 2007, JFPC07. <inria-00151230>
  • Nicolas Beldiceanu, Xavier Lorca. Necessary Condition for Path Partitioning Constraints. Springer-Verlag. 4th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'07), 2007, Brussels, Belgium. 4150, pp.141-154, 2007, Lecture Notes in Computer Science. <hal-00481563>
  • 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, 2006. <inria-00085802>
  • 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, 2006. <inria-00085803>
  • Nicolas Beldiceanu, Irit Katriel, Xavier Lorca. Undirected Forest Constraints. Lecture Notes in Computer Science. Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'06), 2006, Cork, Ireland. 3990, pp.29-43, 2006, Springer-Verlag. <hal-00481573>
  • Nicolas Beldiceanu, Pierre Flener, Xavier Lorca. The Tree Constraint. Roman Bartak and Michela Milano. 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. Springer Verlag, pp.64--78, 2005, Lecture Notes in Computer Science. <hal-00445174>

Ouvrage (y compris édition critique et traduction)1 document

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

Autre publication2 documents

  • Nicolas Beldiceanu, Xavier Lorca, Thierry Petit. A GAC Algorithm for a Class of Global Counting Constraints. Research Report, TR-10-1-Info, Ecole des Mines de Nantes. 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.. Combining Tree Partitioning, Precedence, Incomparability, and Degree Constraints, with an Applica.. 2006. <hal-00481578>

Rapport4 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>

Thèse1 document

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

HDR1 document

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