Produkt bewerten
Auf Lager:
1
Zustellung: Fr, 26.12.2025
Versand: Kostenlos
-4.3 %
CHF 27.90
CHF 26.71
Beschreibung
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. The SAT problem consists of deciding whether a given ...
Spezifikationen
Sprache
- Englisch
Autor
- Jacobo Torán
- Uwe Schöning
Kollektion
- Mathematik für Anwendungen
Erscheinungsjahr
- 2013
Erscheinungsland
- Deutschland
Format
- Buch (Softcover)
Anzahl Seiten
- 184