Bücher und Buch-Herausgaben:
C. Sinz, U. Egly:
"Theory and Applications of Satisfiability Testing - SAT 2014 - 17th International Conference, Proceedings";
in Buchreihe "Lecture Notes in Computer Science",
Buchreihen-Herausgeber: C. Sinz, U. Egly;
Springer,
2014,
ISBN: 978-3-319-09283-6.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-319-09284-3
Zugeordnete Projekte:
Projektleitung Uwe Egly:
Quantified Boolean Formulas
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.