A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving

Christoph SchollJie-Hong R. JiangRalf WimmerAile Ge-ErnstJIE-HONG JIANG江介宏2019-10-242019-10-242019https://scholars.lib.ntu.edu.tw/handle/123456789/427616A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solvingconference paper