Boolean Functions as Models for Quantified Boolean Formulas
In this paper, we introduce the notion of models for quantified Boolean formulas. For various classes of quantified Boolean formulas and various classes of Boolean functions, we investigate the problem of determining whether a model exists. Furthermore, we show for these classes the complexity of th...
|Journal Title:||Journal of Automated Reasoning|
|Authors and Corporations:|
|In:||Journal of Automated Reasoning, 39, 2007, 1, p. 49-75|
|Type of Resource:||Electronic Article|
Kluwer Academic Publishers