Sven Reimer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
8
Active years
2011–2022
Best venue rank
A
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | VMCAI | Making PROGRESS in Property Directed Reachability. | Tobias Seufert, Christoph Scholl, Arun Chandrasekharan, Sven Reimer, Tobias Welp |
| 2018 | SAT | Dynamic Polynomial Watchdog Encoding for Solving Weighted MaxSAT. | Tobias Paxian, Sven Reimer, Bernd Becker |
| 2017 | TACAS | HQSpre - An Effective Preprocessor for QBF and DQBF. | Ralf Wimmer, Sven Reimer, Paolo Marin, Bernd Becker |
| 2015 | DATE | Solving DQBF through quantifier elimination. | Karina Gitina, Ralf Wimmer, Sven Reimer, Matthias Sauer, Christoph Scholl, Bernd Becker |
| 2014 | ATVA | Incremental Encoding and Solving of Cardinality Constraints. | Sven Reimer, Matthias Sauer, Tobias Schubert, Bernd Becker |
| 2014 | DATE | Using MaxBMC for Pareto-optimal circuit initialization. | Sven Reimer, Matthias Sauer, Tobias Schubert, Bernd Becker |
| 2014 | VLSID | Efficient SAT-Based Circuit Initialization for Larger Designs. | Matthias Sauer, Sven Reimer, Sudhakar M. Reddy, Bernd Becker |
| 2013 | ASPDAC | Provably optimal test cube generation using quantified boolean formula solving. | Matthias Sauer, Sven Reimer, Ilia Polian, Tobias Schubert, Bernd Becker |
| 2013 | DATE | Efficient SAT-based dynamic compaction and relaxation for longest sensitizable paths. | Matthias Sauer, Sven Reimer, Tobias Schubert, Ilia Polian, Bernd Becker |
| 2013 | ICCD | Equivalence checking of partial designs using dependency quantified Boolean formulae. | Karina Gitina, Sven Reimer, Matthias Sauer, Ralf Wimmer, Christoph Scholl, Bernd Becker |
| 2011 | DATE | Integration of orthogonal QBF solving techniques. | Sven Reimer, Florian Pigorsch, Christoph Scholl, Bernd Becker |