Theory and Applications of Satisfiability Testing--Sat 2012: 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings (Lecture Notes in Computer Science, 7317)
Add this copy of Theory and Applications of Satisfiability Testing--Sat to cart. $87.71, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 2012 by Springer.
