Theory and Applications of Satisfiability Testing – SAT 2012 [E-Book]: 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings / edited by Alessandro Cimatti, Roberto Sebastiani.
Cimatti, Alessandro.
Sebastiani, Roberto.
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
digital.
englisch
9783642316128
10.1007/978-3-642-31612-8
Lecture notes in computer science ; 7317
Full Text
Description not available.