Theory and Applications of Satisfiability Testing -- SAT 2012

15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings

Alessandro Cimatti, Roberto Sebastiani (Herausgeber)

Buch | Softcover

XIV, 500 Seiten

2012 | 2012
Springer Berlin (Verlag)
978-3-642-31611-1 (ISBN)

Artikel merken

This book constitutes the refereed proceedings of the 15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012, held in Trento, Italy, in June 2012. The 29 revised full papers, 7 tool papers, and 16 poster papers presented together with 2 invited talks were carefully reviewed and selected from 112 submissions (88 full, 10 tool and 14 poster papers). The papers are organized in topical sections on stochastic local search, theory, quantified Boolean formulae, applications, parallel and portfolio approaches, CDCL SAT solving, MAX-SAT, cores interpolants, complexity analysis, and circuits and encodings.

Erscheint lt. Verlag	22.6.2012
Reihe/Serie	Lecture Notes in Computer Science
Reihe/Serie	Theoretical Computer Science and General Issues
Zusatzinfo	XIV, 500 p. 364 illus.
Verlagsort	Berlin
Sprache	englisch
Maße	155 x 235 mm
Gewicht	789 g
Themenwelt	Informatik ► Software Entwicklung ► Qualität / Testen
	Informatik ► Theorie / Studium ► Algorithmen
	Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik
Schlagworte	Algorithm analysis and problem complexity • algorithm complexity • automated reasoning • constraints programming • Information and Communication, Circuits • Resolution • SAT solvers
ISBN-10	3-642-31611-5 / 3642316115
ISBN-13	978-3-642-31611-1 / 9783642316111
Zustand	Neuware