ML Anthology

Scholl, Christoph

1 publications

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