Theory and Applications of Satisfiability Testing - SAT 2017
20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings
(Sprache: Englisch)
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...
The 22 revised full papers, 5 short papers, and 3...
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei
Buch (Kartoniert)
Fr. 59.00
inkl. MwSt.
- Kreditkarte, Paypal, Rechnungskauf
- 30 Tage Widerrufsrecht
Produktdetails
Produktinformationen zu „Theory and Applications of Satisfiability Testing - SAT 2017 “
Klappentext zu „Theory and Applications of Satisfiability Testing - SAT 2017 “
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.
Bibliographische Angaben
- 2017, 1st ed. 2017, XIII, 476 Seiten, Masse: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Herausgegeben: Serge Gaspers, Toby Walsh
- Verlag: Springer, Berlin
- ISBN-10: 3319662627
- ISBN-13: 9783319662626
- Erscheinungsdatum: 09.08.2017
Sprache:
Englisch
Kommentar zu "Theory and Applications of Satisfiability Testing - SAT 2017"
0 Gebrauchte Artikel zu „Theory and Applications of Satisfiability Testing - SAT 2017“
| Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
|---|
Schreiben Sie einen Kommentar zu "Theory and Applications of Satisfiability Testing - SAT 2017".
Kommentar verfassen