Number of documents

15

Xavier Lorca


Nicolas Beldiceanu   

Journal articles2 documents

Conference papers10 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. ⟨hal-01186680⟩
  • 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⟩
  • 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⟩

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⟩

Reports1 document

  • 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⟩