Das Erfüllbarkeitsproblem SAT Algorithmen und Analysen - Schöning, Uwe 1955-; Torán, Jacobo (Lehmanns Media, 2012)
Literaturangaben
Keywords: Erfüllbarkeitsproblem