Editors:
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10491)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Conference series link(s): SAT: International Conference on Theory and Applications of Satisfiability Testing
Conference proceedings info: SAT 2017.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (30 papers)
-
Front Matter
-
Algorithms, Complexity, and Lower Bounds
-
Front Matter
-
-
Clause Learning and Symmetry Handling
-
Front Matter
-
-
Maximum Satisfiability and Minimal Correction Sets
-
Front Matter
-
-
Parallel SAT Solving
-
Front Matter
-
About this book
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.
Keywords
- artificial intelligence
- computer architecture
- computer software selection and evaluation
- constraint theory
- formal logic
- formal methods
- formal verifications
- genetic algorithms
- learning algorithms
- learning systems
- machine learning
- model checking
- problem solving
- program processors
- sat solvers
- satisfiability
- semantics
- software engineering
- theorem proving
- verification
Editors and Affiliations
-
UNSW Sydney, Sydney, Australia
Serge Gaspers
-
University of New South Wales , Sydney, Australia
Toby Walsh
Bibliographic Information
Book Title: Theory and Applications of Satisfiability Testing – SAT 2017
Book Subtitle: 20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings
Editors: Serge Gaspers, Toby Walsh
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-66263-3
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing AG 2017
Softcover ISBN: 978-3-319-66262-6Published: 09 August 2017
eBook ISBN: 978-3-319-66263-3Published: 14 August 2017
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIII, 476
Number of Illustrations: 68 b/w illustrations
Topics: Theory of Computation, Artificial Intelligence, Software Engineering, Operating Systems, Computer Systems Organization and Communication Networks, Numeric Computing