Talks and Poster Presentations (with Proceedings-Entry):
V. Balabanov, M. Widl, J. Jiang:
"QBF Resolution Systems and Their Proof Complexities";
Talk: International Conference on the Theory and Applications of Satisfiability Testing,
Wien;
07-14-2014
- 07-17-2014; in: "Theory and Applications of Satisfiability Testing - SAT 2014",
C. Sinz, U. Egly (ed.);
LNCS / Springer,
Volume 8561 2014
(2014),
ISBN: 978-3-319-09284-3;
154
- 169.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-319-09284-3_12
Related Projects:
Project Head Uwe Egly:
FAME: Formalisierung und Handhabung von Evolution in modellbasierter Softwareentwicklung
Project Head Uwe Egly:
Quantified Boolean Formulas
Created from the Publication Database of the Vienna University of Technology.