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