Willkommen, schön sind Sie da!
Logo Ex Libris

Theory and Applications of Satisfiability Testing -- SAT 2012

  • E-Book (pdf)
  • 500 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This book constitutes the refereed proceedings of the 15th International Conference on Theory and Applications of Satisfiability ... Weiterlesen
E-Books ganz einfach mit der kostenlosen Ex Libris-Reader-App lesen. Hiererhalten Sie Ihren Download-Link.
CHF 93.90
Download steht sofort bereit
Informationen zu E-Books
E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.
Bestellung & Lieferung in eine Filiale möglich

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.

Produktinformationen

Titel: Theory and Applications of Satisfiability Testing -- SAT 2012
Untertitel: 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings
Editor:
EAN: 9783642316128
Format: E-Book (pdf)
Hersteller: Springer Berlin Heidelberg
Genre: IT & Internet
Veröffentlichung: 18.06.2012
Digitaler Kopierschutz: Wasserzeichen
Dateigrösse: 9.45 MB
Anzahl Seiten: 500

Weitere Bände aus der Buchreihe "Theoretical Computer Science and General Issues"