Theory and Applications of Satisfiability Testing – SAT 2016: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings (Lecture Notes in Computer Science, 9710)
Full Title: | Theory and Applications of Satisfiability Testing – SAT 2016: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings (Lecture Notes in Computer Science, 9710) |
---|---|
ISBN: | 3319409697 |
ISBN13: | 9783319409696 |
List Price: | USD $99.99 |
Related ISBNs