Concepedia

Sven Reimer

SR

Statistics

Publications

4

Citations

95

H-Index

4

Active since

2013

Affiliations

University of Freiburg(Current)

Sven Reimer is an author at University of Freiburg specializing in computer science, quantifier elimination, and digital logic design.

Publications per year

2013–2015

4

Publications

4

Equivalence checking of partial designs using dependency quantified Boolean formulae

Karina Gitina, Sven Reimer, Matthias Sauer et al. · 2013 · 35 citations

Computing, Computer Engineering, Computer Science +17

Solving DQBF Through Quantifier Elimination

Karina Gitina, Ralf Wimmer, Sven Reimer et al. · Design, Automation & Test in Europe Conference & Exhibition (DATE), 2015 · 2015 · 23 citations

Computing, Computer Science, Algorithms +9

Solving DQBF through quantifier elimination

Karina Gitina, Ralf Wimmer, Sven Reimer et al. · Design, Automation, and Test in Europe · 2015 · 20 citations

Computing, Computer Science, Algorithms +9

Efficient SAT-based Dynamic Compaction and Relaxation for Longest Sensitizable Paths

Matthias Sauer, Sven Reimer, Tobias Schubert et al. · Design, Automation & Test in Europe Conference & Exhibition (DATE), 2013 · 2013 · 17 citations

Engineering, Computer Engineering, Computer Science +4

1–4 of 4