Bernd Becker 0001
14 publications
4 venues
H Index 12
Affiliation
University of Freiburg, GermanyLinks
DBLPGoogle Scholar
ORCID- https://ira.informatik.uni-freiburg.de/~becker/home.html
- https://dl.acm.org/profile/81100548257
- https://zbmath.org/authors/?q=ai:becker.bernd
- https://mathscinet.ams.org/mathscinet/MRAuthorID/219027
- https://mathgenealogy.org/id.php?id=63126
- https://www.wikidata.org/entity/Q18620981
- http://isni.org/isni/0000000010452781
- https://id.loc.gov/authorities/names/n84126109
- https://d-nb.info/gnd/11801109X
| Name | Venue | Year | citations |
|---|---|---|---|
Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks.
|
IJCAI | 2019 | 30 |
| Dynamic Polynomial Watchdog Encoding for Solving Weighted MaxSAT.
|
SAT | 2018 | 23 |
| Finite-State Controllers of POMDPs using Parameter Synthesis.
|
UAI | 2018 | 9 |
| From DQBF to QBF by Dependency Elimination.
|
SAT | 2017 | 14 |
| Dependency Schemes for DQBF.
|
SAT | 2016 | 14 |
| Laissez-Faire Caching for Parallel #SAT Solving.
|
SAT | 2015 | 33 |
| Preprocessing for DQBF.
|
SAT | 2015 | 26 |
| A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition.
|
CADE | 2013 | 17 |
| Incremental QBF Preprocessing for Partial Design Verification - (Poster Presentation).
|
SAT | 2012 | 10 |
| Encoding Techniques, Craig Interpolants and Bounded Model Checking for Incomplete Designs.
|
SAT | 2010 | 17 |
| PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing.
|
SAT | 2009 | 17 |
| Speedup Techniques Utilized in Modern SAT Solvers.
|
SAT | 2005 | 20 |
| Early Conflict Detection Based BCP for SAT Solving.
|
SAT | 2004 | 14 |
| Conflict-Based Selection of Branching Rules.
|
SAT | 2003 | 15 |