Accéder directement au contenu

Xavier Lorca

6
Documents

Publications

charlotte-truchet
Image document

Estimer le nombre de solutions des contraintes de cardinalité grâce à leur décomposition range et roots

Giovanni Lo Bianco , Xavier Lorca , Charlotte Truchet
JFPC 2019 - Actes des 15es Journées Francophones de Programmation par Contraintes, Jun 2019, Albi, France. p. 133-141
Communication dans un congrès hal-02160312v1
Image document

Estimating the Number of Solutions of Cardinality Constraints through range and roots Decompositions

Giovanni Lo Bianco , Xavier Lorca , Charlotte Truchet
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⟩
Communication dans un congrès hal-02276566v1

A Probabilistic Model to Count Solutions on the alldifferent Constraint

Giovanni Lo Bianco , Charlotte Truchet , Xavier Lorca , Vlady Ravelomanana
CP 2018 - The 24th International Conference on Principles and Practice of Constraints Programming, Aug 2018, Lille, France. 9 p
Communication dans un congrès hal-01923767v1
Image document

When is it worthwhile to propagate a constraint? A probabilistic analysis of AllDifferent

Jérémie Du Boisberranger , Danièle Gardy , Xavier Lorca , Charlotte Truchet
Meeting on Analytic Algorithmics and Combinatorics, 2013, New Orleans, Louisiana, USA, United States. pp.80-90
Communication dans un congrès hal-00867576v1