Aile Ge-Ernst

Publication Activity (10 Years)

Years Active: 2019-2022
Publications (10 Years): 4

Top Topics

Accurate Localization

Quantifier Elimination

Quantified Boolean Formulas

Decision Procedures

Top Venues

Theor. Comput. Sci.

Publications

Aile Ge-Ernst, Christoph Scholl, Juraj Síc, Ralf Wimmer
Solving dependency quantified Boolean formulas using quantifier localization. Theor. Comput. Sci. 925 (2022)
Aile Ge-Ernst, Christoph Scholl, Ralf Wimmer
Quantifier Localization for DQBF. CoRR (2019)
Christoph Scholl, Jie-Hong Roland Jiang, Ralf Wimmer, Aile Ge-Ernst
A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving. AAAI (2019)
Aile Ge-Ernst, Christoph Scholl, Ralf Wimmer
Localizing Quantifiers for DQBF. FMCAD (2019)