1 problem

A Tseitin formula is indexed by a constant-degree graph $G=(V,E)$ and parities $l_v\in\{0,1\}$ satisfying … Its variables are $\mathbf{x}\in\{0,1\}^E$, with the assignment satisfyi…