Media type: E-Article Title: From DQBF to QBF by sependency elimination Contributor: Wimmer, Ralf [Author]; Karrenbauer, Andreas [Author]; Becker, Ruben [Author]; Scholl, Christoph [Author]; Becker, Bernd [Author] Published: University of Freiburg: FreiDok, 2017 Published in: Theory and applications of satisfiability testing - SAT 2017 : 20th International Conference,. - Cham, Switzerland : Gaspers, Serge (Hrsg., u.a.), 2017. - 326-343, ISBN: 978-3-319-66262-6 Language: English DOI: https://doi.org/10.1007/978-3-319-66263-3_21 Origination: Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.