203 citations · 322 across the 18 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
cs.LO2012★ 12 cited
Generalising unit-refutation completeness and SLUR via nested input resolution
Matthew Gwynne, Oliver Kullmann
We introduce two hierarchies of clause-sets, SLUR_k and UC_k, based on the classes SLUR (Single Lookahead Unit Refutation), introduced in 1995, and UC (Unit refutation Complete), i…
cs.DM2012★ 3 cited
On Davis-Putnam reductions for minimally unsatisfiable clause-sets
Oliver Kullmann, Xishun Zhao
For investigations into the structure of MU, i.e., minimally unsatisfiable clause-sets or conjunctive normal forms, singular DP-reduction is a fundamental tool, applying DP-reducti…