Karina Gitina
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2013–2015
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | DATE | Solving DQBF through quantifier elimination. | Karina Gitina, Ralf Wimmer, Sven Reimer, Matthias Sauer, Christoph Scholl, Bernd Becker |
| 2015 | SAT | Preprocessing for DQBF. | Ralf Wimmer, Karina Gitina, Jennifer Nist, Christoph Scholl, Bernd Becker |
| 2013 | ICCD | Equivalence checking of partial designs using dependency quantified Boolean formulae. | Karina Gitina, Sven Reimer, Matthias Sauer, Ralf Wimmer, Christoph Scholl, Bernd Becker |