Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10929)
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 2018.
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 (27 papers)
-
Front Matter
-
Invited Talk
-
Front Matter
-
-
Quantified Boolean Formulae
-
Front Matter
-
About this book
The 20 revised full papers, 4 short papers, and 2 tool papers were carefully reviewed and selected from 58 submissions. The papers address different aspects of SAT interpreted in a broad sense, including theoretical advances (such as exact algorithms, proof complexity, and other complexity issues), practical search algorithms, knowledge compilation, implementation-level details of SAT solvers and SAT-based systems, problem encodings and reformulations, applications as well as case studies and reports on findings based on rigorous experimentation. They are organized in the following topical sections: maximum satisfiability; conflict driven clause learning; model counting; quantified Boolean formulae; theory; minimally unsatisfiable sets; satisfiability modulo theories; and tools and applications.
Keywords
- artificial intelligence
- competition
- computer architecture
- computer programming
- formal logic
- formal verification
- graph theory
- model checking
- probability
- problem solving
- programming languages
- sat solvers
- satisfiability
- semantics
- software engineering
- software evaluation
- theorem proving
- verification
- data structures
Editors and Affiliations
-
Friedrich Schiller University Jena, Jena, Germany
Olaf Beyersdorff
-
Microsoft Research Ltd., Cambridge, United Kingdom
Christoph M. Wintersteiger
Bibliographic Information
Book Title: Theory and Applications of Satisfiability Testing – SAT 2018
Book Subtitle: 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings
Editors: Olaf Beyersdorff, Christoph M. Wintersteiger
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-94144-8
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing AG, part of Springer Nature 2018
Softcover ISBN: 978-3-319-94143-1Published: 26 June 2018
eBook ISBN: 978-3-319-94144-8Published: 27 June 2018
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIX, 452
Number of Illustrations: 73 b/w illustrations
Topics: Theory of Computation, Artificial Intelligence, Software Engineering, Programming Techniques, Discrete Mathematics in Computer Science, Data Structures