Abstract
We consider the minimal unsatisfiability problem for propositional formulas over n variables with n+k clauses for fixed k. We will show that in case of at most n clauses no formula is minimal unsatisfiable. For n+1 clauses the minimal unsatisfiability problem is solvable in quadratic time. Further, we present a characterization of minimal unsatisfiable formulas with n+1 clauses in terms of a certain form of matrices.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have