Number of documents

51

Xavier Lorca


Journal articles7 documents

  • Giovanni Lo Bianco, Xavier Lorca, Charlotte Truchet, Gilles Pesant. Revisiting Counting Solutions for the Global Cardinality Constraint. Journal of Artificial Intelligence Research, Association for the Advancement of Artificial Intelligence, In press. ⟨hal-02276554⟩
  • Jean-Guillaume Fages, Xavier Lorca, Louis-Martin Rousseau. The salesman and the tree: the importance of search in CP. Constraints, Springer Verlag, 2016, 21, pp.145 - 162. ⟨10.1007/s10601-014-9178-2⟩. ⟨hal-01436214⟩
  • 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⟩
  • 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⟩
  • 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⟩

Conference papers33 documents

  • Mohamed Abderrahim, Meryem Ouzzif, Karine Guillouard, Jérôme François, Adrien Lebre, et al.. Efficient Resource Allocation for Multi-tenant Monitoring of Edge Infrastructures. PDP 2019 - 27th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, Feb 2019, Pavie, Italy. pp.1-8, ⟨10.1109/EMPDP.2019.8671621⟩. ⟨hal-01987946⟩
  • Giovanni Lo Bianco, Xavier Lorca, Charlotte Truchet. Estimer le nombre de solutions des contraintes de cardinalité grâce à leur décomposition range et roots. JFPC 2019 - Actes des 15es Journées Francophones de Programmation par Contraintes, Jun 2019, Albi, France. p. 133-141. ⟨hal-02160312⟩
  • Arthur Godet, Xavier Lorca, Gilles Simonin. Utilisation d'algorithmes d'approximation en Programmation Par Contraintes. JFPC 2019 - Actes des 15es Journées Francophones de Programmation par Contraintes, Jun 2019, Albi, France. p. 63-66. ⟨hal-02160300⟩
  • Dimitri Justeau-Allaire, Philippe Birnbaum, Xavier Lorca. Unifier les stratégies de sélection de réserve avec la programmation par contraintes et les graphes. JFPC 2019 - Actes des 15es Journées Francophones de Programmation par Contraintes, Jun 2019, Albi, France. p. 27-29. ⟨hal-02160264⟩
  • Dimitri Justeau-Allaire, Philippe Vismara, Philippe Birnbaum, Xavier Lorca. Systematic Conservation Planning for Sustainable Land-use Policies: A Constrained Partitioning Approach to Reserve Selection and Design.. IJCAI 2019 - International Joint Conference on Artificial Intelligence, Aug 2019, Macao, China. p.5902-5908, ⟨10.24963/ijcai.2019/818⟩. ⟨hal-02283036⟩
  • Giovanni Lo Bianco, Xavier Lorca, Charlotte Truchet. Estimating the Number of Solutions of Cardinality Constraints through range and roots Decompositions. CP 2019-25th International Conference on Principles and Practice of Constraint Programming, Sep 2019, Stamford, United States. p. 317-332, ⟨10.1007/978-3-030-30048-7_19⟩. ⟨hal-02276566⟩
  • Dimitri Justeau-Allaire, N. Rink, Xavier Lorca, E. Couture, Philippe Birnbaum. Systematic conservation planning in New Caledonia: supporting sustainable land-use policies with reserve selection models. Island Biology 2019,, Dominique STRASBERG; Claudine AH-PENG, Jul 2019, Saint-Denis, Réunion. ⟨hal-02313739⟩
  • Arthur Godet, Xavier Lorca, Gilles Simonin. Deriving filtering algorithms from dedicated algorithms: zoom on the Bin Packing problem. CP 2018 - The 24th International Conference on Principles and Practice of Constraints Programming : Doctoral Program Proceedings, Aug 2018, Lille, France. 9 p. ⟨hal-01923740⟩
  • Dimitri Justeau-Allaire, Philippe Birnbaum, Xavier Lorca. Unifying reserve design strategies with graph theory and constraint programming. CP 2018 - International conference on principles and practice of Constraint Programming, Aug 2018, Lille, France. p.507-523, ⟨10.1007/978-3-319-98334-9_33⟩. ⟨hal-01885111⟩
  • Giovanni Lo Bianco, Charlotte Truchet, Xavier Lorca, Vlady Ravelomanana. A Probabilistic Model to Count Solutions on the alldifferent Constraint. CP 2018 - The 24th International Conference on Principles and Practice of Constraints Programming, Aug 2018, Lille, France. 9 p. ⟨hal-01923767⟩
  • 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. La contrainte Increasing NValue. JFPC 2010 - Sixièmes Journées Francophones de Programmation par Contraintes, Jun 2010, Caen, France. pp.61-70. ⟨inria-00520296v2⟩
  • 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⟩
  • 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⟩

Directions of work or proceedings1 document

  • Xavier Lorca, Élise Vareilles. JFPC 2019 - Actes des 15es Journées Francophones de Programmation par Contraintes. Xavier Lorca; Elise Vareilles. JFPC 2019 - Actes des 15es Journées Francophones de Programmation par Contraintes, Jun 2019, Albi, France. ⟨IMT Mines Albi⟩, xv - 190 p., 2019, 979-10-91526-07-4. ⟨hal-02159866⟩

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⟩

Reports5 documents

  • Mohamed Abderrahim, Meryem Ouzzif, Karine Guillouard, Jérôme François, Xavier Lorca, et al.. A Framework for Edge Infrastructures Monitoring. [Research Report] RR-9215, Orange Labs; Inria Nancy - Grand Est; IMT-Atlantique. 2018, pp.1-14. ⟨hal-01897570v3⟩
  • 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⟩