Showing cs.DMShow all
2 papers · 1 filter
cs.DM2016
Unsatisfiable hitting clause-sets with three more clauses than variables
Oliver Kullmann, Xishun Zhao
The topic of this paper is the Finiteness Conjecture for minimally unsatisfiable clause-sets (MUs), stating that for each fixed deficiency (number of clauses minus number of variab…
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…