Your institution does not have access to this book on JSTOR. Try searching on JSTOR for other items related to this book. https://www.jstor.org/stable/j.ctt1b7x76j.4 ...
Quantified Boolean formulas (QBFs) extend propositional logic by interleaving existential and universal quantifiers over Boolean variables, providing a natural framework for expressing problems in ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results