The classification of minimally unsatisfiable 2-CNFs -- a fundamental study

Hoda Abbasizanjani, Oliver Kullmann

Conjunctive normal forms where every clause has length at most two are called 2-CNFs. We study minimally unsatisfiable 2-CNFs (2-MUs), that is, unsatisfiable 2-CNFs where removing…