by Franz-Xaver Reichl, Friedrich Slivovsky, Stefan Szeider
Reference:
Certified DQBF Solving by Definition ExtractionFranz-Xaver Reichl, Friedrich Slivovsky, Stefan Szeider2021, Technical report AC-TR-21-010, Algorithms and Complexity Group, TU Wien.
Bibtex Entry:
@string{ac="Algorithms and Complexity Group, TU Wien"}
@TechReport{ReichlSlivovskySzeider21tr,
author = {Franz-Xaver Reichl and Friedrich Slivovsky and Stefan Szeider},
title = {Certified DQBF Solving by Definition Extraction},
institution = AC,
year = {2021},
number = {AC-TR-21-010},
url = {http://www.ac.tuwien.ac.at/files/tr/ac-tr-21-010.pdf},
}