Theory and Applications of Satisfiability Testing – SAT 2018
Springer International Publishing (Verlag)
978-3-319-94143-1 (ISBN)
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.
| Erscheinungsdatum | 28.06.2018 |
|---|---|
| Reihe/Serie | Lecture Notes in Computer Science | Theoretical Computer Science and General Issues |
| Zusatzinfo | XIX, 452 p. 73 illus. |
| Verlagsort | Cham |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Gewicht | 709 g |
| Themenwelt | Informatik ► Software Entwicklung ► Qualität / Testen |
| Mathematik / Informatik ► Informatik ► Theorie / Studium | |
| Schlagworte | Applications • Artificial Intelligence • Competition • Computer Architecture • computer programming • Computer Science • conference proceedings • data structures • Formal Logic • Formal Verification • graph theory • Informatics • Model Checking • Probability • Problem Solving • Programming Languages • Research • satisfiability • SAT solvers • Semantics • Software engineering • Software Evaluation • theorem proving • verification |
| ISBN-10 | 3-319-94143-7 / 3319941437 |
| ISBN-13 | 978-3-319-94143-1 / 9783319941431 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
