Books and Book Editorships:
O. Strichman, St. Szeider (ed.):
"Theory and Applications of Satisfiability Testing - SAT 2010";
Springer,
Edinburgh, UK,
2010,
ISBN: 978-3-642-14185-0.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-642-14186-7
Created from the Publication Database of the Vienna University of Technology.