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]

Abstract

Abstract is missing.