Xavier Lorca
2
Documents
Publications
- 2
- 2
- 1
- 2
- 1
- 2
|
Revisiting Counting Solutions for the Global Cardinality ConstraintJournal of Artificial Intelligence Research, 2019, 66, pp.411-441. ⟨10.1613/jair.1.11325⟩
Article dans une revue
hal-02276554v1
|
|
Estimating the Number of Solutions of Cardinality Constraints through range and roots DecompositionsCP 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
|