Theory and Applications of Satisfiability Testing - SAT 2018 / Lecture Notes in Computer Science Bd.10929 (PDF)
The 20 revised full papers, 4 short papers, and 2 tool papers were...
- Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
The 20 revised full papers, 4 short papers, and 2 tool papers were carefully reviewed and selected from 58 submissions. The papers address different aspects of SAT interpreted in a broad sense, including theoretical advances (such as exact algorithms, proof complexity, and other complexity issues), practical search algorithms, knowledge compilation, implementation-level details of SAT solvers and SAT-based systems, problem encodings and reformulations, applications as well as case studies and reports on findings based on rigorous experimentation. They are organized in the following topical sections: maximum satisfiability; conflict driven clause learning; model counting; quantified Boolean formulae; theory; minimally unsatisfiable sets; satisfiability modulo theories; and tools and applications.
- 2018, 1st ed. 2018, 452 Seiten, Englisch
- Herausgegeben: Olaf Beyersdorff, Christoph M. Wintersteiger
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3319941445
- ISBN-13: 9783319941448
- Erscheinungsdatum: 27.06.2018
Abhängig von Bildschirmgrösse und eingestellter Schriftgrösse kann die Seitenzahl auf Ihrem Lesegerät variieren.
- Dateiformat: PDF
- Grösse: 12 MB
- Ohne Kopierschutz
- Vorlesefunktion
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Theory and Applications of Satisfiability Testing - SAT 2018 / Lecture Notes in Computer Science Bd.10929".
Kommentar verfassen