Abstract: The decision problem of quantified Boolean formulas (QBFs) is the archetypical problem for the complexity class PSPACE. Beside such theoretical aspects QBF also provides an attractive ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results