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

  • 44725232
    Harry Potter and the Cursed Child - Parts I & II (Special Rehearsal Edition)
    von John Tiffany
    (55)
    Buch (gebundene Ausgabe)
    Fr. 29.90 bisher Fr. 34.90
  • 39151356
    Harry Potter: The Complete Collection
    von Joanne K. Rowling
    (6)
    Buch (Taschenbuch)
    Fr. 105.00
  • 43564382
    Milk and Honey
    von Rupi Kaur
    Buch (Taschenbuch)
    Fr. 18.90
  • 42413879
    All the Light We Cannot See
    von Anthony Doerr
    (2)
    Buch (Taschenbuch)
    Fr. 18.90
  • 45965122
    The Chemist
    von Stephenie Meyer
    Buch (Taschenbuch)
    Fr. 26.90
  • 34910866
    The Life List
    von Lori Nelson Spielman
    (5)
    Buch (Taschenbuch)
    Fr. 14.90
  • 38930428
    We Were Liars
    von E. Lockhart
    (10)
    Buch (Taschenbuch)
    Fr. 16.90
  • 17914934
    One Line a Day
    von Books LLC Staff Chronicle
    (2)
    Buch
    Fr. 22.90
  • 31405171
    Game of Thrones 5-Copy Boxed Set
    von George R. R. Martin
    (6)
    Buch (Taschenbuch)
    Fr. 54.90
  • 42769827
    The Girl on the Train
    von Paula Hawkins
    (14)
    Buch (Taschenbuch)
    Fr. 19.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
+
=
Fantastic Beasts and Where to Find Them. The Original Screenplay

Fantastic Beasts and Where to Find Them. The Original Screenplay

von Joanne K. Rowling

(8)
Buch (gebundene Ausgabe)
Fr. 33.90
+
=

für

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