Sven Reimer

According to our database, Sven Reimer authored at least 17 papers between 2011 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Making PROGRESS in Property Directed Reachability.

Tobias Seufert, Christoph Scholl, Arun Chandrasekharan, Sven Reimer, Tobias Welp

Proceedings of the Methods and Description Languages for Modelling and Verification of Circuits and Systems, 2022

2018

Dynamic Polynomial Watchdog Encoding for Solving Weighted MaxSAT.

Tobias Paxian, Sven Reimer, Bernd Becker

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2018, 2018

2017

HQSpre - An Effective Preprocessor for QBF and DQBF.

Ralf Wimmer, Sven Reimer, Paolo Marin, Bernd Becker

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

2016

On Optimal Power-Aware Path Sensitization.

Matthias Sauer, Jie Jiang, Sven Reimer, Kohei Miyase, Xiaoqing Wen, Bernd Becker, Ilia Polian

Proceedings of the 25th IEEE Asian Test Symposium, 2016

2015

Bekannte Unbekannte: formale Methoden in Anwesenheit unbekannter Werte.

Sven Reimer

PhD thesis, 2015

Accurate QBF-Based Test Pattern Generation in Presence of Unknown Values.

Dominik Erb, Michael A. Kochte, Sven Reimer, Matthias Sauer, Hans-Joachim Wunderlich, Bernd Becker

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2015

Solving DQBF through quantifier elimination.

Karina Gitina, Ralf Wimmer, Sven Reimer, Matthias Sauer, Christoph Scholl, Bernd Becker

Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

2014

QBF with Soft Variables.

Sven Reimer, Matthias Sauer, Paolo Marin, Bernd Becker

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

Efficient SAT-Based Circuit Initialization for Larger Designs.

Matthias Sauer, Sven Reimer, Sudhakar M. Reddy, Bernd Becker

Proceedings of the 2014 27th International Conference on VLSI Design, 2014

Using MaxBMC for Pareto-optimal circuit initialization.

Sven Reimer, Matthias Sauer, Tobias Schubert, Bernd Becker

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

Incremental Encoding and Solving of Cardinality Constraints.

Sven Reimer, Matthias Sauer, Tobias Schubert, Bernd Becker

Proceedings of the Automated Technology for Verification and Analysis, 2014

2013

Equivalence Checking for Partial Implementations Revisited.

Karina Gitina, Sven Reimer, Matthias Sauer, Ralf Wimmer, Christoph Scholl, Bernd Becker

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2013

Equivalence checking of partial designs using dependency quantified Boolean formulae.

Karina Gitina, Sven Reimer, Matthias Sauer, Ralf Wimmer, Christoph Scholl, Bernd Becker

Proceedings of the 2013 IEEE 31st International Conference on Computer Design, 2013

Efficient SAT-based dynamic compaction and relaxation for longest sensitizable paths.

Matthias Sauer, Sven Reimer, Tobias Schubert, Ilia Polian, Bernd Becker

Proceedings of the Design, Automation and Test in Europe, 2013

Provably optimal test cube generation using quantified boolean formula solving.

Matthias Sauer, Sven Reimer, Ilia Polian, Tobias Schubert, Bernd Becker

Proceedings of the 18th Asia and South Pacific Design Automation Conference, 2013

2012

Enhanced Integration of QBF Solving Techniques.

Sven Reimer, Florian Pigorsch, Christoph Scholl, Bernd Becker

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2012

2011

Integration of orthogonal QBF solving techniques.

Sven Reimer, Florian Pigorsch, Christoph Scholl, Bernd Becker

Proceedings of the Design, Automation and Test in Europe, 2011