Publications in Scientific Journals:
O. Beyersdorff, J. Blinkhorn, L. Chew, R. Schmidt, M. Suda:
"Reinterpreting Dependency Schemes: Soundness Meets Incompleteness in DQBF";
Journal of Automated Reasoning,
J Autom Reasoning
(2018),
1
- 27.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/s10817-018-9482-4
Electronic version of the publication:
https://publik.tuwien.ac.at/files/publik_277426.pdf
Created from the Publication Database of the Vienna University of Technology.