Questions tagged [sat]
For questions involving/related to the Boolean satisfiability problem (SAT).
1
question with no upvoted or accepted answers
0
votes
0
answers
27
views
How to express the Boolean cardinality constraint to CNF formulas
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?