Das Erfüllbarkeitsproblem SAT Algorithmen und Analysen - Schöning, Uwe 1955-; Torán, Jacobo (Mathematik für Anwendungen, 2012)