Ralf Wimmer 0001
7 publications
4 venues
H Index 6
Affiliation
Altair Engineering GmbH, Freiburg, GermanyConcept Engineering GmbH, Freiburg, Germany
University of Freiburg, Institute of Computer Science, Germany
Links
DBLPGoogle Scholar
ORCID- https://ira.informatik.uni-freiburg.de/~wimmer/
- https://dl.acm.org/profile/81319504265
- https://mathgenealogy.org/id.php?id=185005
- https://www.wikidata.org/entity/Q62051763
- https://www.wikidata.org/entity/Q102423519
- https://d-nb.info/gnd/143461966
- https://ieeexplore.ieee.org/author/37590672700
| 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 |