203 citations · 322 across the 18 of their papers we have counts for
1 paper · 1 filter
Matthew Gwynne, Oliver Kullmann
We aim at providing a foundation of a theory of "good" SAT representations F of boolean functions f. We argue that the hierarchy UC_k of unit-refutation complete clause-sets of lev…