Uwe Schöning (Autor), Jacobo Torán (Autor)
Das Erfüllbarkeitsproblem SAT
Algorithmen und AnalysenSAT (für satisfiability) ist der Name des bekanntesten NP-vollständigen Problems, des Erfüllbarkeitsproblems der Aussagenlogik. Gegeben ist hierbei eine Formel mit Boole’schen Variablen und Verknüpfungen und gesucht wird eine „Lösung“, also eine Wertezuweisung an die Variablen, so dass die Formel wahr ...
PREIS: