Integration of orthogonal QBF solving techniques. - Sven Reimer; Florian Pigorsch; Christoph Scholl 001; Bernd Becker 001 (DATE, 2011)

Enhanced Integration of QBF Solving Techniques. - Sven Reimer; Florian Pigorsch; Christoph Scholl 001; Bernd Becker 001 (MBMV, 2012)

Provably optimal test cube generation using quantified boolean formula solving. - Matthias Sauer 002; Sven Reimer; Ilia Polian; Tobias Schubert 001; Bernd Becker 001 (ASP-DAC, 2013)

Efficient SAT-based dynamic compaction and relaxation for longest sensitizable paths. - Matthias Sauer 002; Sven Reimer; Tobias Schubert 001; Ilia Polian; Bernd Becker 001 (DATE, 2013)

Equivalence checking of partial designs using dependency quantified Boolean formulae. - Karina Gitina; Sven Reimer; Matthias Sauer 002; Ralf Wimmer 001; Christoph Scholl 001; Bernd Becker 001 (ICCD, 2013)

Equivalence Checking for Partial Implementations Revisited. - Karina Gitina; Sven Reimer; Matthias Sauer 002; Ralf Wimmer 001; Christoph Scholl 001; Bernd Becker 001 (MBMV, 2013)

Incremental Encoding and Solving of Cardinality Constraints. - Sven Reimer; Matthias Sauer 002; Tobias Schubert 001; Bernd Becker 001 (ATVA, 2014)

Using MaxBMC for Pareto-optimal circuit initialization. - Sven Reimer; Matthias Sauer 002; Tobias Schubert 001; Bernd Becker 001 (DATE, 2014)

Efficient SAT-Based Circuit Initialization for Larger Designs. - Matthias Sauer 002; Sven Reimer; Sudhakar M. Reddy; Bernd Becker 001 (VLSID, 2014)

QBF with Soft Variables. - Sven Reimer; Matthias Sauer 002; Paolo Marin; Bernd Becker 001 (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014)

Solving DQBF through quantifier elimination. - Karina Gitina; Ralf Wimmer 001; Sven Reimer; Matthias Sauer 002; Christoph Scholl 001; Bernd Becker 001 (DATE, 2015)

Accurate QBF-Based Test Pattern Generation in Presence of Unknown Values. - Dominik Erb; Michael A. Kochte; Sven Reimer; Matthias Sauer 002; Hans-Joachim Wunderlich; Bernd Becker 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2015)

Bekannte Unbekannte: formale Methoden in Anwesenheit unbekannter Werte. - Sven Reimer (Der Andere Verlag, 2015)

On Optimal Power-Aware Path Sensitization. - Matthias Sauer 002; Jie Jiang 018; Sven Reimer; Kohei Miyase; Xiaoqing Wen; Bernd Becker 001; Ilia Polian (ATS, 2016)

HQSpre - An Effective Preprocessor for QBF and DQBF. - Ralf Wimmer 001; Sven Reimer; Paolo Marin; Bernd Becker 001 (TACAS (1), 2017)

Dynamic Polynomial Watchdog Encoding for Solving Weighted MaxSAT. - Tobias Paxian; Sven Reimer; Bernd Becker 001 (SAT, 2018)

Making PROGRESS in Property Directed Reachability. - Tobias Seufert; Christoph Scholl 001; Arun Chandrasekharan; Sven Reimer; Tobias Welp (MBMV, 2022)