Title of article
On the structure of some classes of minimal unsatisfiable formulas Original Research Article
Author/Authors
Hans Kleine Büning، نويسنده , , Xishun Zhao، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2003
Pages
23
From page
185
To page
207
Abstract
We investigate classes of minimal unsatisfiable formulas which are closed under splitting. For marginal formulas the equivalence to some natural classes of formulas is proved. Further, we show that maximal formulas are closely related to the so-called hitting formulas. That are formulas for which any two clauses contain a pair of complementary literals.
Keywords
Marginal formulas , Splitting of formulas , Propositional formulas , Maximal formulas , Minimal unsatisfiability
Journal title
Discrete Applied Mathematics
Serial Year
2003
Journal title
Discrete Applied Mathematics
Record number
885652
Link To Document