[Back]


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.