Bounded-width QBF is PSPACE-complete

Albert Atserias, Sergi Oliva. Bounded-width QBF is PSPACE-complete. J. Comput. Syst. Sci., 80(7):1415-1429, 2014. [doi]

Abstract

Abstract is missing.