Das Buch dokumentiert die Ergebnisse der 20. Internationalen Konferenz „Theory and Applications of Satisfiability Testing“ aus Melbourne und untersucht neue SAT‑Algorithmen, deren Einsatz in Optimierungsaufgaben sowie praktische Anwendungen in datenintensiven Systemen.