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

Christoph Scholl, Jie-Hong Roland Jiang, Ralf Wimmer, Aile Ge-Ernst

Browse the full AAAI paper archive.