Theory and Applications of Satisfiability Testing - SAT 2017: 20th International Conference, Melbourne, Vic, Australia, August 28 - September 1, 2017,

This book constitutes the refereed proceedings of the 20th International Conference on Theory and Applications of Satisfiability Testing, SAT 2017, held in Melbourne, Australia, in August/September... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3319662627
• ISBN13: 9783319662626
• Release Date: August 2017
• Publisher: Springer
• Length: 476 Pages
• Weight: 1.50 lbs.
• Dimensions: 1.0" x 6.1" x 9.2"