Karrenbauer, Andreas Algorithms and Complexity, MPI for Informatics, Max Planck Society;
Becker, Ruben Algorithms and Complexity, MPI for Informatics, Max Planck Society;
Wimmer, R., Karrenbauer, A., Becker, R., Scholl, C., & Becker, B. (2017). From DQBF to QBF by Dependency Elimination. In S. Gaspers, & T. Walsh (Eds.), Theory and Applications of Satisfiability Testing -- SAT 2017 (pp. 326-343). Berlin: Springer. doi:10.1007/978-3-319-66263-3_21.