Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
V. Balabanov, M. Widl, J. Jiang:
"QBF Resolution Systems and Their Proof Complexities";
Vortrag: International Conference on the Theory and Applications of Satisfiability Testing,
Wien;
14.07.2014
- 17.07.2014; in: "Theory and Applications of Satisfiability Testing - SAT 2014",
C. Sinz, U. Egly (Hrg.);
LNCS / Springer,
Volume 8561 2014
(2014),
ISBN: 978-3-319-09284-3;
S. 154
- 169.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-319-09284-3_12
Zugeordnete Projekte:
Projektleitung Uwe Egly:
FAME: Formalisierung und Handhabung von Evolution in modellbasierter Softwareentwicklung
Projektleitung Uwe Egly:
Quantified Boolean Formulas
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.