The authors, Dr. Uwe Schöning and Dr. Jacobo Toran, are professors in the Institute of Theoretical Computer Science at the University of Ulm, Germany.
2 E-böcker av Jacobo Torán
Uwe Schöning & Jacobo Torán: The Satisfiability Problem
The satisfiability problem of propositional logic, SAT for short, is the first algorithmic problem that was shown to be NP-complete, and is the cornerstone of virtually all NP-completeness proofs. …
PDF
Engelska
€9.99
Uwe Schöning & Jacobo Torán: Das Erfüllbarkeitsproblem SAT
SAT (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 …
PDF
Tyska
€16.99
