- Theory and Applications of Satisfiability Testing – SAT 2017
- Springer International Publishing
- Published Date:
- Paperback / softback
- Product Dim.:
- 9.25 H x 6.10 W (inches)
Theory and Applications of Satisfiability Testing – SAT 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 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.
Special Offers and Promotions
Our print to order bookstore saves you money. There are currently no special offers for Theory and Applications of Satisfiability Testing – SAT 2017
Thank you for selecting our online bookstore. Currently, there are no editorial book reviews for Theory and Applications of Satisfiability Testing – SAT 2017
About Pubgraphics Direct
PGDirect is an online bookstore that has embraced the concept of direct to consumer selling for self-published books, softcover and hardcover books, specialty books, children's books, hard to find books, college textbooks, print on demand books and more.