Jennifer Nist

Publication Activity (10 Years)

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

Top Topics

Post Processing

Preprocessing Steps

Top Venues

Publications

Ralf Wimmer, Karina Gitina, Jennifer Nist, Christoph Scholl, Bernd Becker
Preprocessing for DQBF. SAT (2015)