orellfuessli.ch

Nur bis Sonntag: 25% auf (fast) alles ab einem Einkauf von Fr. 75.-*

The Satisfiability Problem

Algorithms and Analyses

Mathematik für Anwendungen 3

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 458
Buch (Taschenbuch, Englisch)
Fr. 23.90
inkl. gesetzl. MwSt. zzgl. Versandkosten
Versandfertig innert 1-2 Werktagen.
Kostenlose Lieferung ab Fr. 30 i
Lieferung zur Abholung in Ihre Buchhandlung möglich – Verfügbarkeit prüfen

Andere Kunden interessierten sich auch für

  • 61749461
    The Sun and Her Flowers
    von Rupi Kaur
    (4)
    Buch (Taschenbuch)
    Fr. 19.90
  • 70455348
    Harry Potter: A History of Magic
    von British Library
    Buch (gebundene Ausgabe)
    Fr. 49.90
  • 46700128
    Origin
    von Dan Brown
    (1)
    Buch (gebundene Ausgabe)
    Fr. 29.90 bisher Fr. 37.90
  • 17345365
    Cornelsen Senior English Library - Literatur / Ab 10. Schuljahr - Looking for Alaska
    von John Green
    (21)
    Schulbuch (Taschenbuch)
    Fr. 15.90
  • 43564382
    Milk and Honey
    von Rupi Kaur
    (3)
    Buch (Taschenbuch)
    Fr. 19.90
  • 1719784
    The Giver
    von Lois Lowry
    (1)
    Schulbuch (Taschenbuch)
    Fr. 11.90
  • 70458566
    Harry Potter: A Journey through the History of Magic
    von British Library
    Buch (Taschenbuch)
    Fr. 24.90
  • 23361882
    Thirteen Reasons Why
    von Jay Asher
    Schulbuch (Taschenbuch)
    Fr. 12.90
  • 32901389
    The Hunger Games
    von Suzanne Collins
    (1)
    Schulbuch (Taschenbuch)
    Fr. 11.90
  • 3061941
    A Raisin in the Sun
    von Lorraine Hansberry
    Buch (Taschenbuch)
    Fr. 12.90

Kundenbewertungen


Es wurden noch keine Bewertungen geschrieben.

Wird oft zusammen gekauft

The Satisfiability Problem - Uwe Schöning, Jacobo Torán

The Satisfiability Problem

von Uwe Schöning , Jacobo Torán

Buch (Taschenbuch, Englisch)
Fr. 23.90
+
=
Turtles All the Way Down - John Green

Turtles All the Way Down

von John Green

(2)
Buch (gebundene Ausgabe)
Fr. 23.90
bisher Fr. 29.90
+
=

für

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