Theory and Applications of Satisfiability Testing - SAT 2020 / Lecture Notes in Computer Science Bd.12178 (PDF)
- Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
The 25 full, 9 short, and 2 tool papers presented in this volume were carefully reviewed and selected from 69 submissions. They deal with 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 (including both novel application domains and improvements to existing approaches), as well as case studies and reports on findings based on rigorous experimentation.
- 2020, 1st ed. 2020, 538 Seiten, Englisch
- Herausgegeben: Luca Pulina, Martina Seidl
- Verlag: Springer International Publishing
- ISBN-10: 3030518256
- ISBN-13: 9783030518257
- Erscheinungsdatum: 01.07.2020
Abhängig von Bildschirmgrösse und eingestellter Schriftgrösse kann die Seitenzahl auf Ihrem Lesegerät variieren.
- Dateiformat: PDF
- Grösse: 26 MB
- Ohne Kopierschutz
- Vorlesefunktion
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Theory and Applications of Satisfiability Testing - SAT 2020 / Lecture Notes in Computer Science Bd.12178".
Kommentar verfassen