Ein wissenschaftliches Sammelwerk aus den Vorträgen der SAT 2018‑Konferenz, das neue Algorithmen, theoretische Modelle und Anwendungen in Logikverifikation sowie Optimierungsproblemen detailliert beschreibt.