Number of documents

3

Xavier Lorca


Charlotte Truchet    2019   

Journal articles1 document

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

Conference papers2 documents

  • Giovanni Lo Bianco, Xavier Lorca, Charlotte Truchet. Estimating the Number of Solutions of Cardinality Constraints through range and roots Decompositions. 25th International Conference on Principles and Practice of Constraint Programming, Sep 2019, Stamford, United States. ⟨hal-02276566⟩
  • 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⟩