Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
  • Bild 1
  • Bild 2

Das Zufriedenheitsproblem: Algorithmen und Analysen (Mathematik für Anwendungen)

Ø 0.0
0 Bewertungen
23,16 €

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. Over the last few years very powerful algorithms have been devised being able to solve SAT problems with hundreds of thousands of variables.

Jetzt bei Ebay: