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)

Related Projects:
Project Head Uwe Egly:
Quantified Boolean Formulas

Created from the Publication Database of the Vienna University of Technology.