Talks and Poster Presentations (with Proceedings-Entry):
M. Suda, B. Gleiss:
"Local Soundness for QBF Calculi";
Talk: 21st International Conference on Theory and Applications of Satisfiability Testing (SAT),
Oxford, UK;
2018-07-09
- 2018-07-12; in: "Proceedings of the 21st International Conference on Theory and Applications of Satisfiability Testing (SAT)",
O. Beyersdorff, C. Wintersteiger (ed.);
LNCS,
10929
(2018),
217
- 234.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-319-94144-8_14
Created from the Publication Database of the Vienna University of Technology.