Title of article
Models and quantifier elimination for quantified Horn formulas Original Research Article
Author/Authors
Uwe Bubeck، نويسنده , , Hans Kleine Büning، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2008
Pages
17
From page
1606
To page
1622
Abstract
In this paper, quantified Horn formulas (QHORN) are investigated. We prove that the behavior of the existential quantifiers depends only on the cases where at most one of the universally quantified variables is zero. Accordingly, we give a detailed characterization of QHORN satisfiability models which describe the set of satisfying truth assi
Keywords
Quantified Boolean formula , Quantified Horn formula , Model , Satisfiability , Quantifier elimination
Journal title
Discrete Applied Mathematics
Serial Year
2008
Journal title
Discrete Applied Mathematics
Record number
886764
Link To Document