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

Giovanni Lo Bianco, Xavier Lorca, Charlotte Truchet

Browse the full CP paper archive.