Karina Gitina

Publication Activity (10 Years)

Years Active: 2010-2015
Publications (10 Years): 0

Top Topics

Quantifier Elimination

First Order Logic

Quantified Boolean Formulae

Preprocessing Steps

Top Venues

Publications

Karina Gitina, Ralf Wimmer, Sven Reimer, Matthias Sauer, Christoph Scholl, Bernd Becker
Solving DQBF through quantifier elimination. DATE (2015)
Ralf Wimmer, Karina Gitina, Jennifer Nist, Christoph Scholl, Bernd Becker
Preprocessing for DQBF. SAT (2015)
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)
Christian Miller, Karina Gitina, Bernd Becker
Bounded Model Checking of Incomplete Real-time Systems Using Quantified SMT Formulas. MTV (2011)
Christian Miller, Karina Gitina, Christoph Scholl, Bernd Becker
Bounded Model Checking of Incomplete Networks of Timed Automata. MTV (2010)