203 citations · 322 across the 18 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2015★ 12 cited
Computing maximal autarkies with few and simple oracle queries
Oliver Kullmann, Joao Marques-Silva
We consider the algorithmic task of computing a maximal autarky for a clause-set F, i.e., a partial assignment which satisfies every clause of F it touches, and where this property…
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…