LeafKlimaneutrales Unternehmen CoinFaire Preise PackageSchneller und kostenloser Versand ab 9,90 € Bestellwert
The Satisfiability Problem

The Satisfiability Problem

inkl. MwSt. versandkostenfrei

Lieferzeit 1-3 Werktage

19,95 €

Lieferzeit 1-3 Werktage

Kurzinformation
Sprache:
Englisch
ISBN:
386541527X
Seitenzahl:
184
Auflage:
-
Erschienen:
2013-07-01
Dein Kauf tut Gutes! Mit diesem Kauf trägst Du zur Neupflanzung eines Baumes bei. Jeder Baum zählt! Green Tree

Gebrauchte Bücher kaufen

Information
Das Buch befindet sich in einem sehr guten, unbenutzten Zustand.
Information
Das Buch befindet sich in einem sehr guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können leichte Gebrauchsspuren aufweisen.
Information
Das Buch befindet sich in einem guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können Knicke/Gebrauchsspuren aufweisen.
Information
Das Buch befindet sich in einem lesbaren Zustand. Die Seiten und der Einband sind intakt, jedoch weisen Buchrücken/Ecken/Kanten starke Knicke/Gebrauchsspuren auf. Zusatzmaterialien können fehlen.

Neues Buch oder eBook (pdf) kaufen

Information
Neuware - verlagsfrische aktuelle Buchausgabe.
Natural Premiumqualität
Coins Faire Preise
Check Schnelle & einfache Abwicklung

inkl. MwSt. versandkostenfrei

Lieferzeit 1-3 Werktage

19,95 €

Lieferzeit 1-3 Werktage


Beschreibung

The Satisfiability Problem
Algorithms and Analyses

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 Boolean formula has a "solution", in the sense of an assignment to the variables making the entire formula to evaluate to true.Over the last few years very powerful algorithms have been devised being able to solve SAT problems with hundreds of thousands of variables. For difficult (or randomly generated) formulas these algorithms can be compared to the proverbial search for the needle in a haystack. This book explains how such algorithms work, for example, by exploiting the structure of the SAT problem with an appropriate logical calculus, like resolution. But also algorithms based on "physical" principles are considered. von Schöning, Uwe und Torán, Jacobo

Produktdetails

Einband:
Kartoniert
Seitenzahl:
184
Erschienen:
2013-07-01
Sprache:
Englisch
EAN:
9783865415271
ISBN:
386541527X
Gewicht:
458 g
Auflage:
-
Verwandte Sachgebiete:
Alle gebrauchten Bücher werden von uns handgeprüft.
So garantieren wir Dir zu jeder Zeit Premiumqualität.

Über den Autor

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.


Entdecke mehr vom Verlag


Kundenbewertungen

0
Kundenbewertungen für "The Satisfiability Problem"
Bewertung schreiben
Bewertungen werden nach Überprüfung freigeschaltet.

Die mit einem * markierten Felder sind Pflichtfelder.

Mit * markierte Felder sind Pflichtangaben

Ich habe die Datenschutzbestimmungen zur Kenntnis genommen.


Neu
19,95 €