Generating Minimally Unsatisfiable Conjunctive Normal Forms
Robert Cowen · The Mathematica Journal · 2020
This article has adapted a method of I. Spence [1] to obtain large numbers of unsatisfiable CNFs that are usually but not always minimally unsatisfiable. Experiments indicate what percentages would be minimally unsatisfiable.