A Boolean cardinality constraint $$\sum_{j=0}^{n-1}x_j=k,$$ where $x_j$’s are Boolean variables, and $k$ is a non-negative integer.
How to express the Boolean cardinality constraint to CNF formulas?
Asked
Active
Viewed 39 times
