Ralf Wimmer 0001

7 publications

4 venues

H Index 6

Name Venue Year citations
A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving. AAAI 2019 6
Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks. IJCAI 2019 18
Dependency Quantified Boolean Formulas: An Overview of Solution Methods and Applications - Extended Abstract. SAT 2018 9
Finite-State Controllers of POMDPs using Parameter Synthesis. UAI 2018 0
From DQBF to QBF by Dependency Elimination. SAT 2017 10
Dependency Schemes for DQBF. SAT 2016 13
Preprocessing for DQBF. SAT 2015 23
Copyright ©2019 Universität Würzburg

Impressum | Privacy | FAQ