203 citations · 322 across the 18 of their papers we have counts for
Showing 2016 · cs.DMShow all
3 papers · 2 filters
cs.DM2016
Minimal unsatisfiability and deficiency: recent developments
Oliver Kullmann
Starting with Aharoni and Linial in 1986, the deficiency delta(F) = c(F) - n(F) >= 1 for minimally unsatisfiable clause-sets F, the difference of the number of clauses and the numb…
cs.DM2016★ 203 cited
Solving and Verifying the boolean Pythagorean Triples problem via Cube-and-Conquer
Marijn J. H. Heule, Oliver Kullmann, Victor W. Marek
The boolean Pythagorean Triples problem has been a longstanding open problem in Ramsey Theory: Can the set N = of natural numbers be divided into two parts, such th…
cs.DM2016★ 5 cited
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…