# Tag Info

1 vote

### Encoding "all-except" constraints in CNF

Let $[b]$ to denote $1$ if $b$ is true, $0$ if $b$ is false. We have  \begin{align} & \bigwedge_{b \in B \setminus B_i} b \\ \iff & \sum_{b \in B \setminus B_i} [\neg b] = 0 \\ \iff & \...
• 2,115