Balanced number 3-SAT
= Balanced number 3-SAT
{c}
{title2=balanced $\#3\text{-SAT}$}
Balanced number 3-SAT is the counting version of 3-SAT under a promise that every variable has equally many positive and negative occurrences.
= Balanced number 3-SAT
{c}
{title2=balanced $\#3\text{-SAT}$}
Balanced number 3-SAT is the counting version of 3-SAT under a promise that every variable has equally many positive and negative occurrences.