| Theory and Applications of Satisfiability Testing - SAT 2017: 20th International Conference, Melbourne, Vic, Australia, August 28 - September 1, 2017, 2017 Edition Contributor(s): Gaspers, Serge (Editor), Walsh, Toby (Editor) |
|
 |
ISBN: 3319662627 ISBN-13: 9783319662626 Publisher: Springer OUR PRICE: $52.24 Product Type: Paperback Published: August 2017 |
| Additional Information |
| BISAC Categories: - Computers | Computer Science - Computers | Machine Theory - Computers | Intelligence (ai) & Semantics |
| Dewey: 004.015 |
| Physical Information: 0.99" H x 6.14" W x 9.21" (1.50 lbs) 476 pages |
| Descriptions, Reviews, Etc. |
| Publisher Description: 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 2017. The 22 revised full papers, 5 short papers, and 3 tool papers were carefully reviewed and selected from 64 submissions. The papers are organized in the following topical sections: algorithms, complexity, and lower bounds; clause learning and symmetry handling; maximum satisfiability and minimal correction sets; parallel SAT solving; quantified Boolean formulas; satisfiability modulo theories; and SAT encodings. |