QBF


Complexity of QBF(Bounded Treewidth) ★★

Author(s): Moshe Y. Vardi

\begin{question} What is the computational complexity of QBF(Bounded Treewidth)? Is it PSPACE-complete? In PTIME? \end{question}

Keywords: bounded tree width; Computational Complexity; FMT12-LesHouches; QBF

Syndicate content