Bewertung abgeben
Auf Lager:
3
Zustellung: Do, 02.01.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
| Inhalt |
Sprache:
| |||
|---|---|---|---|---|
| Publikation |
Erscheinungsdatum:
| |||
| Produktform |
Format:
|
Seiten:
|
Abmessung:
|
Gewicht:
|