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

  • 43564382
    Milk and Honey
    von Rupi Kaur
    (2)
    Buch (Taschenbuch)
    Fr. 18.90
  • 47566547
    Good Night Stories for Rebel Girls
    von Francesca Cavallo
    Buch (gebundene Ausgabe)
    Fr. 28.90
  • 54619015
    Thirteen Reasons Why. TV Tie-In
    von Jay Asher
    Buch (Taschenbuch)
    Fr. 16.90
  • 17283460
    Thirteen Reasons Why
    von Jay Asher
    (13)
    Buch (Taschenbuch)
    Fr. 19.90
  • 34910866
    The Life List
    von Lori Nelson Spielman
    (5)
    Buch (Taschenbuch)
    Fr. 14.90
  • 54193482
    Thirteen Reasons Why
    von Jay Asher
    Buch (Taschenbuch)
    Fr. 14.90
  • 1719784
    The Giver
    von Lois Lowry
    (1)
    Schulbuch (Taschenbuch)
    Fr. 11.90 bisher Fr. 13.40
  • 23361882
    Thirteen Reasons Why
    von Jay Asher
    Schulbuch (Taschenbuch)
    Fr. 12.90
  • 17345365
    Cornelsen Senior English Library - Literatur / Ab 10. Schuljahr - Looking for Alaska
    von John Green
    (22)
    Schulbuch (Taschenbuch)
    Fr. 15.90
  • 38930428
    We Were Liars
    von E. Lockhart
    (11)
    Buch (Taschenbuch)
    Fr. 16.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
+
=
Thirteen Reasons Why

Thirteen Reasons Why

von Jay Asher

(13)
Buch (Taschenbuch)
Fr. 19.90
+
=

für

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