Media type: E-Article Title: Theory and Applications of Satisfiability Testing – SAT 2017: From DQBF to QBF by Dependency Elimination Contributor: Wimmer, Ralf; Karrenbauer, Andreas; Becker, Ruben; Scholl, Christoph; Becker, Bernd Published: Springer International Publishing, 2017 Published in: Theory and Applications of Satisfiability Testing – SAT 2017 (2017), Seite 326-343 Language: Not determined DOI: 10.1007/978-3-319-66263-3_21 ISSN: 0302-9743; 1611-3349 Origination: Footnote: