Estimating the Number of Solutions of Cardinality Constraints Through \texttt range and \texttt roots Decompositions

Giovanni Lo Bianco, Xavier Lorca, Charlotte Truchet. Estimating the Number of Solutions of Cardinality Constraints Through \texttt range and \texttt roots Decompositions. In Thomas Schiex, Simon de Givry, editors, Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings. Volume 11802 of Lecture Notes in Computer Science, pages 317-332, Springer, 2019. [doi]

Authors

Giovanni Lo Bianco

This author has not been identified. Look up 'Giovanni Lo Bianco' in Google

Xavier Lorca

This author has not been identified. Look up 'Xavier Lorca' in Google

Charlotte Truchet

This author has not been identified. Look up 'Charlotte Truchet' in Google