Theory and Applications of Satisfiability Testing – SAT 2017

ISBN: 9783319662626

$95.00 $80.75

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.

Title:
Theory and Applications of Satisfiability Testing – SAT 2017
ISBN-13:
9783319662626
Author:
Publisher:
Springer International Publishing
Published Date:
20170809
Edition:
1
Binding
Paperback / softback
Pages:
476
Language:
English
Product Dim.:
9.25 H x 6.10 W (inches)

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

Editorial Reviews

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.

Your Cart