
Theory and Applications of Satisfiability Testing -- SAT 2012
Kurzinformation



inkl. MwSt. Versandinformationen
Artikel zZt. nicht lieferbar
Artikel zZt. nicht lieferbar

Beschreibung
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. von Cimatti, Alessandro und Sebastiani, Roberto
Produktdetails

So garantieren wir Dir zu jeder Zeit Premiumqualität.
Über den Autor
- Hardcover
- 300 Seiten
- Erschienen 1971
- Springer
- Hardcover
- 504 Seiten
- Erschienen 1973
- Springer
- paperback
- 500 Seiten
- Erschienen 2008
- Springer
- Kartoniert
- 736 Seiten
- Erschienen 2007
- Springer
- Kartoniert
- 239 Seiten
- Erschienen 2006
- Brill | mentis
- Gebunden
- 459 Seiten
- Erschienen 2018
- De Gruyter Mouton
- Kartoniert
- 218 Seiten
- Erschienen 2010
- Springer
- hardcover
- 397 Seiten
- Erschienen 1993
- Springer
- paperback
- 278 Seiten
- Erschienen 2006
- Continuum
- Kartoniert
- 551 Seiten
- Erschienen 1996
- Springer
- hardcover
- 198 Seiten
- Erschienen 1981
- McGraw-Hill Inc.,US