Results
Theory and Applications of Satisfiability Testing – SAT 2016
19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings
© 2016
Soft cover - Print (ISBN: 978-3-319-40969-6)
Electronic (ISBN: 978-3-319-40970-2)
View this book on
SpringerLink
Download Product Archive File - 978-3-319-40970-2