Theory and Applications of Satisfiability Testing - SAT 2020
Broschiertes Buch

Theory and Applications of Satisfiability Testing - SAT 2020

23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings

Herausgegeben: Pulina, Luca; Seidl, Martina
Versandkostenfrei!
Versandfertig in 6-10 Tagen
38,99 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
19 °P sammeln!
This book constitutes the proceedings of the 23rd International Conference on Theory and Applications of Satisfiability Testing, SAT 2020, which was planned to take place in Alghero, Italy, during July 5-9, 2020. Due to the coronavirus COVID-19 pandemic, the conference was held virtually. 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, kno...