Sven Reimer

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