Ralf Wimmer, Andreas Karrenbauer, Ruben Becker, Christoph Scholl, Bernd Becker 0001. From DQBF to QBF by Dependency Elimination. In Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2018, Tübingen, Germany, February 8-9, 2018. Universität Tübingen, 2018. [doi]
@inproceedings{WimmerKBSB18,
title = {From DQBF to QBF by Dependency Elimination},
author = {Ralf Wimmer and Andreas Karrenbauer and Ruben Becker and Christoph Scholl and Bernd Becker 0001},
year = {2018},
url = {http://hdl.handle.net/10900/84276},
researchr = {https://researchr.org/publication/WimmerKBSB18},
cites = {0},
citedby = {0},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2018, Tübingen, Germany, February 8-9, 2018},
publisher = {Universität Tübingen},
isbn = {978-3-00-059317-8},
}