Skip to Main content
Number of documents

6

Xavier Lorca


Charlotte Truchet   

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, 2019, 66, pp.411-441. ⟨10.1613/jair.1.11325⟩. ⟨hal-02276554⟩

Conference papers4 documents

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

Reports1 document

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