orellfuessli.ch

The Satisfiability Problem

Algorithms and Analyses

Mathematik für Anwendungen

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

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.

… weiterlesen
Beschreibung

Produktdetails


Einband Taschenbuch
Seitenzahl 184
Erscheinungsdatum 07.2013
Serie Mathematik für Anwendungen 3
Sprache Englisch
ISBN 978-3-86541-527-1
Verlag Lehmanns Media GmbH
Maße (L/B/H) 241/171/15 mm
Gewicht 454
Buch (Taschenbuch, Englisch)
Fr. 26.90
inkl. gesetzl. MwSt. zzgl. Versandkosten
Versandfertig innert 3 - 5 Werktagen
Kostenlose Lieferung ab Fr. 30 i
Lieferung zur Abholung in Ihre Buchhandlung möglich – Verfügbarkeit prüfen
Premium Card
Fr. 26.90 Umsatz sammeln
Weitere Informationen

Andere Kunden interessierten sich auch für

  • 34809997
    Playway. Für den Beginn ab Klasse 3 / Activity Book mit Audio-CD 4. Schuljahr
    Schulbuch (Kunststoff-Einband)
    Fr. 11.90 bisher Fr. 14.90
  • 29358095
    English G LIGHTHOUSE - Allgemeine Ausgabe / Band 1: 5. Schuljahr - Workbook mit Audio-Materialien
    von Sydney Thorne
    Schulbuch (Taschenbuch)
    Fr. 11.90
  • 32281116
    English G Access - Allgemeine Ausgabe / Band 1: 5. Schuljahr - Workbook mit Audio-Materialien und MyBook
    von Jennifer Seidl
    Schulbuch (Taschenbuch)
    Fr. 11.40
  • 32632713
    English G LIGHTHOUSE - Allgemeine Ausgabe / Band 2: 6. Schuljahr - Workbook mit Audio-Materialien
    von Gwen Berwick
    Schulbuch (Taschenbuch)
    Fr. 11.90
  • 34809996
    Playway. Für den Beginn ab Klasse 3 / Activity Book mit Audio-CD und CD-ROM 3. Schuljahr
    Schulbuch (Kunststoff-Einband)
    Fr. 20.90
  • 39524867
    English G Access - Allgemeine Ausgabe / Band 3: 7. Schuljahr - Workbook mit Audio-Materialien
    von Jennifer Seidl
    Schulbuch (Taschenbuch)
    Fr. 11.40
  • 46576306
    The Hate U Give
    von Angie Thomas
    (1)
    Buch (gebundene Ausgabe)
    Fr. 19.90
  • 33724914
    Playway 3. Jahrgangsstufe 3. Pupil's Book
    Schulbuch (Kunststoff-Einband)
    Fr. 12.90 bisher Fr. 15.40
  • 43564382
    Milk and Honey
    von Rupi Kaur
    (3)
    Buch (Taschenbuch)
    Fr. 18.90
  • 34809999
    Playway. Für den Beginn ab Klasse 3 / Activity Book mit Audio-CD und CD-ROM 4. Schuljahr
    Schulbuch (Kunststoff-Einband)
    Fr. 22.90

Kundenbewertungen


Es wurden noch keine Bewertungen geschrieben.

Wird oft zusammen gekauft

The Satisfiability Problem

The Satisfiability Problem

von Jacobo Torán , Uwe Schöning

Buch (Taschenbuch, Englisch)
Fr. 26.90
+
=
Playway 3. Jahrgangsstufe 3. Activity Book mit Audio-CD

Playway 3. Jahrgangsstufe 3. Activity Book mit Audio-CD

Schulbuch (Kunststoff-Einband)
Fr. 11.90
bisher Fr. 14.90
+
=

für

Fr. 38.80

inkl. gesetzl. MwSt.

Alle kaufen

Verfügbarkeit in Ihrer Buchhandlung prüfen

Filialabholung: Ihre Vorteile
  1. Bereits Online prüfen, ob Ihr gewünschtes Buch in der Filiale vorrätig ist
  2. Bestellen Sie Online und lassen Sie Ihre Artikel zur Abholung in die Filiale vor Ort liefern
  3. Artikel, die zur Filialabholung bestellt wurden, können in der Filiale bezahlt werden.
  4. Falsches Buch bestellt? Retournieren Sie ihre gekauften Bücher kostenfrei in der Filiale