%0 Book %0 [E-Book]: %A Cimatti, Alessandro. %E Cimatti, Alessandro. %E Sebastiani, Roberto. %I Springer Berlin Heidelberg %D 2012 %C Berlin, Heidelberg %G englisch %B Lecture notes in computer science ; %@ 9783642316128 %T Theory and Applications of Satisfiability Testing – SAT 2012 [E-Book]: 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings %U http://dx.doi.org/10.1007/978-3-642-31612-8