Theory and Applications of Satisfiability Testing – SAT 2017

20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings

Buch | Softcover

XIII, 476 Seiten

2017 | 1st ed. 2017
Springer International Publishing (Verlag)
978-3-319-66262-6 (ISBN)

Artikel merken

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.

Erscheinungsdatum	06.09.2017
Reihe/Serie	Lecture Notes in Computer Science
Reihe/Serie	Theoretical Computer Science and General Issues
Zusatzinfo	XIII, 476 p. 68 illus.
Verlagsort	Cham
Sprache	englisch
Maße	155 x 235 mm
Gewicht	747 g
Themenwelt	Informatik ► Software Entwicklung ► Qualität / Testen
Themenwelt	Mathematik / Informatik ► Informatik ► Theorie / Studium
Schlagworte	Applications • Artificial Intelligence • Computer Architecture • Computer Science • computer software selection and evaluation • conference proceedings • constraint theory • Formal Logic • formal methods • formal verifications • Genetic algorithms • Informatics • Informatik • Learning Algorithms • Learning Systems • machine learning • Mathematical theory of computation • Model Checking • Problem Solving • Program processors • Research • satisfiability • SAT solvers • Semantics • Software engineering • theorem proving • Theory of Computation • verification
ISBN-10	3-319-66262-7 / 3319662627
ISBN-13	978-3-319-66262-6 / 9783319662626
Zustand	Neuware