203 citations · 322 across the 18 of their papers we have counts for
Showing 2015Show 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.DM2015
Parameters for minimal unsatisfiability: Smarandache primitive numbers and full clauses
Oliver Kullmann, Xishun Zhao
We establish a new bridge between propositional logic and elementary number theory. The main objects are "minimally unsatisfiable clause-sets", short "MUs", unsatisfiable conjuncti…