Books and Book Editorships:
C. Sinz, U. Egly:
"Theory and Applications of Satisfiability Testing - SAT 2014 - 17th International Conference, Proceedings";
in series "Lecture Notes in Computer Science",
series editor: C. Sinz, U. Egly;
Springer,
2014,
ISBN: 978-3-319-09283-6.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-319-09284-3
Related Projects:
Project Head Uwe Egly:
Quantified Boolean Formulas
Created from the Publication Database of the Vienna University of Technology.