3 votes

Tseitin formula on 2-connected graph

Clearly, whether a formula is minimally unsatisfiable depends on the exact details of how it is formulated, so let me give a specific definition of Tseitin formulas. Given a graph $G=(V,E)$ and a ...
Emil Jeřábek's user avatar

Only top scored, non community-wiki answers of a minimum length are eligible