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

Scholl, ChristophChristophSchollJiang, Jie-Hong RolandJie-Hong RolandJiangWimmer, RalfRalfWimmerGe-Ernst, AileAileGe-ErnstJIE-HONG JIANG2020-06-112020-06-112019https://scholars.lib.ntu.edu.tw/handle/123456789/497796A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving.conference paper10.1609/aaai.v33i01.33011584https://doi.org/10.1609/aaai.v33i01.33011584