Number of documents

7

Xavier Lorca


Thierry Petit   

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

Other publications1 document

  • Nicolas Beldiceanu, Xavier Lorca, Thierry Petit. A GAC Algorithm for a Class of Global Counting Constraints. 2010. ⟨hal-00517122⟩

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⟩