most citedThe classification of minimally unsatisfiable 2-CNFs -- a fundamental study

2 citations · 2 across the 1 of their papers we have counts for

collaborators

1 paper

cs.DM2020★ 2 cited

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…