A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving. - Christoph Scholl 001; Jie-Hong Roland Jiang; Ralf Wimmer 001; Aile Ge-Ernst (AAAI, 2019)

Localizing Quantifiers for DQBF. - Aile Ge-Ernst; Christoph Scholl 001; Ralf Wimmer 001 (FMCAD, 2019)

Quantifier Localization for DQBF. - Aile Ge-Ernst; Christoph Scholl 001; Ralf Wimmer 001 (CoRR, 2019)

Solving dependency quantified Boolean formulas using quantifier localization. - Aile Ge-Ernst; Christoph Scholl 001; Juraj Síc; Ralf Wimmer 001 (Theor. Comput. Sci., 2022)