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…