Englische Ausgabe zu "Das SAT-Problem"
Mathe-Toolbox : Mathematische Notationen, Grundbegriffe und Beweismethoden
Uwe Schöning, Hans A. Kestler
book
The Satisfiability Problem : Algorithms and Analyses
Uwe Schöning, Jacobo Torán
book
Kryptologie-Kompendium : Mathematik für Anwendungen Band 2
Uwe Schöning
book
Das Erfüllbarkeitsproblem SAT : Algorithmen und Analysen
Uwe Schöning, Jacobo Torán
book