Ralf Wimmer 0001
7 publications
4 venues
H Index 6
Affiliation
Concept Engineering GmbH, Freiburg, GermanyUniversity of Freiburg, Institute of Computer Science, Germany
Links
| Name | Venue | Year | citations |
|---|---|---|---|
A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving.
|
AAAI | 2019 | 5 |
| Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks.
|
IJCAI | 2019 | 13 |
| 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 | 41 |
| From DQBF to QBF by Dependency Elimination.
|
SAT | 2017 | 8 |
| Dependency Schemes for DQBF.
|
SAT | 2016 | 11 |
| Preprocessing for DQBF.
|
SAT | 2015 | 23 |