caa a22 4500 463182839 CHVBK 20180406164844.0 cr unu---uuuuu 170326e20070701xx s 000 0 eng 10.1007/s10817-007-9067-0 doi (NATIONALLICENCE)springer-10.1007/s10817-007-9067-0 Boolean Functions as Models for Quantified Boolean Formulas [Elektronische Daten] [Hans Kleine Büning, K. Subramani, Xishun Zhao] 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 the model checking problem, which is to check whether a given set of Boolean functions is a model for a formula. For classes of Boolean functions, we establish some characterizations in terms of classes of quantified Boolean formulas that have such a model. Springer Science+Business Media, Inc., 2007 Quantified Boolean formula nationallicence Boolean function nationallicence Model nationallicence Complexity nationallicence Satisfiability nationallicence Propositional logic nationallicence Kleine Büning Hans Department of Computer Science, Universität Paderborn, 33095, Paderborn, Germany aut Subramani K. LDCSEE, West Virginia University, 26506, Morgantown, WV, USA aut Zhao Xishun Institute of Logic and Cognition, Sun Yat-sen University, 510275, Guangzhou, People's Republic of China aut Journal of Automated Reasoning Kluwer Academic Publishers 39/1(2007-07-01), 49-75 0168-7433 39:1<49 2007 39 10817 https://doi.org/10.1007/s10817-007-9067-0 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/s10817-007-9067-0 text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Kleine Büning Hans Department of Computer Science, Universität Paderborn, 33095, Paderborn, Germany aut NATIONALLICENCE 700 1- Subramani K. LDCSEE, West Virginia University, 26506, Morgantown, WV, USA aut NATIONALLICENCE 700 1- Zhao Xishun Institute of Logic and Cognition, Sun Yat-sen University, 510275, Guangzhou, People's Republic of China aut NATIONALLICENCE 773 0- Journal of Automated Reasoning Kluwer Academic Publishers 39/1(2007-07-01), 49-75 0168-7433 39:1<49 2007 39 10817 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer