Details

ISBN/EAN: 978-3-86541-648-3
Format: PDF
DRM: Digitales Wasserzeichen
Weitere Details
Auflage:
1. Auflage 2013
Erschienen am:
Sprache:
English
Empfohlene App:
Android
Apple
Weitere Details arrow_forward_ios

The Satisfiability Problem

eBook - Algorithms and Analyses, Neuausgabe / New edition, Neuausgabe / New edition


12,95 €
inkl. MwSt.

Herunterladen

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 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.

Über Uwe Schöning, Jacobo Torán

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.

E-Book Informationen

Alle hier erworbenen E-Books können Sie in Ihrem Kundenkonto in die kostenlose PocketBook Cloud laden. Dadurch haben Sie den Vorteil, dass Sie von Ihrem PocketBook E-Reader, Ihrem Smartphone, Tablet und PC jederzeit auf Ihre gekauften und bereits vorhandenen E-Books Zugriff haben.

Um die PocketBook Cloud zu aktivieren, loggen Sie sich bitte in Ihrem Kundenkonto ein und gehen dort in den Bereich „E-Books“. Setzen Sie hier einen Haken bei „Neue E-Book-Käufe automatisch zu meiner Cloud hinzufügen.“. Dadurch wird ein PocketBook Cloud Konto für Sie angelegt. Die Zugangsdaten sind dabei dieselben wie in diesem Webshop.

Weitere Informationen zur PocketBook Cloud finden Sie unter www.meinpocketbook.de.

Allgemeine E-Book-Informationen

E-Books in diesem Webshop können in den Dateiformaten EPUB und PDF vorliegen und können ggf. mit einem Kopierschutz versehen sein. Sie finden die entsprechenden Informationen in der Detailansicht des jeweiligen Titels.

E-Books ohne Kopierschutz oder mit einem digitalen Wasserzeichen können Sie problemlos auf Ihr Gerät übertragen. Sie müssen lediglich die Kompatibilität mit Ihrem Gerät prüfen.

Bei E-Books, die mit Readium LCP geschützt sind erscheint bei dem ersten Öffnen auf ihrem Reader ein Hinweisfenster mit der Aufforderung ein Passwort einzugeben. Gleichzeitig öffnet sich ein Infofeld in dem das Passwort steht. Tragen Sie dieses Passwort in das Eingabefeld ein und bestätigen Sie die Eingabe. Danach öffnet sich das E-Book automatisch.

Um E-Books, die mit Readium LCP geschützt sind auf einem Tablet/Laptop/Smartphone lesen zu können, benötigen Sie ein Programm, das in der Lage ist, mit dem Kopierschutz umzugehen. Das ist z.B. der Thorium Reader (Windows, Mac, Linux) oder die PocketBook App (iOS, Android).

Fügen Sie das heruntergeladene E-Book in das Programm ein. Beim ersten Öffnen erscheint ein Hinweisfenster mit der Aufforderung ein Passwort einzugeben. Gleichzeitig öffnet sich ein Infofeld, in dem das Passwort steht. Tragen Sie dieses Passwort in das Eingabefeld ein und bestätigen Sie die Eingabe. Danach öffnet sich das E-Book automatisch.

 


Mehr aus dieser Reihe

Alle Produkte anzeigen

Andere Kunden kauften auch

Alle Produkte anzeigen

Andere Artikel von "Uwe Schöning, Jacobo Torán"

Alle Produkte anzeigen

Weitere Artikel aus der Kategorie "Informatik, EDV"

Alle Produkte anzeigen