Aile Ge-Ernst

According to our database, Aile Ge-Ernst authored at least 4 papers between 2019 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Solving dependency quantified Boolean formulas using quantifier localization.

Aile Ge-Ernst, Christoph Scholl, Juraj Síc, Ralf Wimmer

Theor. Comput. Sci., 2022

2019

Quantifier Localization for DQBF.

Aile Ge-Ernst, Christoph Scholl, Ralf Wimmer

CoRR, 2019

Localizing Quantifiers for DQBF.

Aile Ge-Ernst, Christoph Scholl, Ralf Wimmer

Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019

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

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

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019