52 citations · 146 across the 26 of their papers we have counts for
1 paper · 2 filters
Andrei A. Bulatov, Daniel Marx
In a constraint satisfaction problem (CSP) the goal is to find an assignment of a given set of variables subject to specified constraints. A global cardinality constraint is an add…