Das Erfüllbarkeitsproblem SAT

Mathematik für Anwendungen (Series)

Book 1

Uwe Schöning Author
Jacobo Torán Author
(2012)

Kryptologie-Kompendium

Mathematik für Anwendungen (Series)

Book 2

Uwe Schöning Author
(2012)

The Satisfiability Problem

Mathematik für Anwendungen (Series)

Book 3

Uwe Schöning Author
Jacobo Torán Author
(2013)