Sven Reimer

Publication Activity (10 Years)

Years Active: 2011-2022
Publications (10 Years): 7

Top Venues

DATE

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

VMCAI

SAT

University of Freiburg, Germany (PHD)

Education History

University of Freiburg, Germany

PHD

Publications

Tobias Seufert, Christoph Scholl, Arun Chandrasekharan, Sven Reimer, Tobias Welp
Making PROGRESS in Property Directed Reachability. MBMV (2022)
Tobias Seufert, Christoph Scholl, Arun Chandrasekharan, Sven Reimer, Tobias Welp
Making PROGRESS in Property Directed Reachability. VMCAI (2022)
Tobias Paxian, Sven Reimer, Bernd Becker
Dynamic Polynomial Watchdog Encoding for Solving Weighted MaxSAT. SAT (2018)
Ralf Wimmer, Sven Reimer, Paolo Marin, Bernd Becker
HQSpre - An Effective Preprocessor for QBF and DQBF. TACAS (1) (2017)
Matthias Sauer, Jie Jiang, Sven Reimer, Kohei Miyase, Xiaoqing Wen, Bernd Becker, Ilia Polian
On Optimal Power-Aware Path Sensitization. ATS (2016)
Karina Gitina, Ralf Wimmer, Sven Reimer, Matthias Sauer, Christoph Scholl, Bernd Becker
Solving DQBF through quantifier elimination. DATE (2015)
Dominik Erb, Michael A. Kochte, Sven Reimer, Matthias Sauer, Hans-Joachim Wunderlich, Bernd Becker
Accurate QBF-Based Test Pattern Generation in Presence of Unknown Values. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 34 (12) (2015)
Sven Reimer, Matthias Sauer, Tobias Schubert, Bernd Becker
Incremental Encoding and Solving of Cardinality Constraints. ATVA (2014)
Matthias Sauer, Sven Reimer, Sudhakar M. Reddy, Bernd Becker
Efficient SAT-Based Circuit Initialization for Larger Designs. VLSI Design (2014)
Sven Reimer, Matthias Sauer, Tobias Schubert, Bernd Becker
Using MaxBMC for Pareto-optimal circuit initialization. DATE (2014)
Sven Reimer, Matthias Sauer, Paolo Marin, Bernd Becker
QBF with Soft Variables. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 70 (2014)
Karina Gitina, Sven Reimer, Matthias Sauer, Ralf Wimmer, Christoph Scholl, Bernd Becker
Equivalence checking of partial designs using dependency quantified Boolean formulae. ICCD (2013)
Karina Gitina, Sven Reimer, Matthias Sauer, Ralf Wimmer, Christoph Scholl, Bernd Becker
Equivalence Checking for Partial Implementations Revisited. MBMV (2013)
Matthias Sauer, Sven Reimer, Ilia Polian, Tobias Schubert, Bernd Becker
Provably optimal test cube generation using quantified boolean formula solving. ASP-DAC (2013)
Matthias Sauer, Sven Reimer, Tobias Schubert, Ilia Polian, Bernd Becker
Efficient SAT-based dynamic compaction and relaxation for longest sensitizable paths. DATE (2013)
Sven Reimer, Florian Pigorsch, Christoph Scholl, Bernd Becker
Enhanced Integration of QBF Solving Techniques. MBMV (2012)
Sven Reimer, Florian Pigorsch, Christoph Scholl, Bernd Becker
Integration of orthogonal QBF solving techniques. DATE (2011)

Sven Reimer.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sven Reimer