Dieses Buch bietet einen kompakten Überblick über die siebte SAT-Konferenz in Vancouver: Es sammelt ausgewählte Arbeiten zu Erfüllbarkeitsalgorithmen, deren theoretische Grundlagen und praktische Anwendungen in Optimierungsproblemen sowie KI‑Systemen.