Theory and Applications of Satisfiability Testing – SAT 2017 : 20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings Paperback / softback
Edited by Serge Gaspers, Toby Walsh
Part of the Theoretical Computer Science and General Issues series
Paperback / softback
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.
Information
-
Available to Order - This title is available to order, with delivery expected within 2 weeks
- Format:Paperback / softback
- Pages:476 pages, 68 Illustrations, black and white; XIII, 476 p. 68 illus.
- Publisher:Springer International Publishing AG
- Publication Date:09/08/2017
- Category:
- ISBN:9783319662626
Information
-
Available to Order - This title is available to order, with delivery expected within 2 weeks
- Format:Paperback / softback
- Pages:476 pages, 68 Illustrations, black and white; XIII, 476 p. 68 illus.
- Publisher:Springer International Publishing AG
- Publication Date:09/08/2017
- Category:
- ISBN:9783319662626
