orellfuessli.ch

The Satisfiability Problem

Algorithms and Analyses

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

  • 44725232
    Harry Potter and the Cursed Child - Parts I & II (Special Rehearsal Edition)
    von Joanne K. Rowling
    (33)
    Buch
    Fr. 29.90 bisher Fr. 34.90
  • 39151356
    Harry Potter: The Complete Collection
    von Joanne K. Rowling
    (3)
    Buch
    Fr. 105.00
  • 42769827
    The Girl on the Train
    von Paula Hawkins
    (1)
    Buch
    Fr. 19.90
  • 30674192
    A Raisin in the Sun
    von Lorraine Hansberry
    (1)
    Buch
    Fr. 11.90
  • 45571862
    ZAYN
    von Zayn
    (2)
    Buch
    Fr. 33.90
  • 3061941
    A Raisin in the Sun
    von Lorraine Hansberry
    Buch
    Fr. 12.90
  • 34910866
    The Life List
    von Lori Nelson Spielman
    (5)
    Buch
    Fr. 14.90
  • 6609307
    Fahrenheit 451
    von Ray Bradbury
    (2)
    Schulbuch
    Fr. 16.90
  • 43564382
    Milk and Honey
    von Rupi Kaur
    Buch
    Fr. 18.90
  • 32901389
    The Hunger Games
    von Suzanne Collins
    (1)
    Schulbuch
    Fr. 11.90

Kundenbewertungen


Es wurden noch keine Bewertungen geschrieben.

Wird oft zusammen gekauft

The Satisfiability Problem

The Satisfiability Problem

von Uwe Schöning , Jacobo Torán

Buch
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

(3)
Buch
Fr. 33.90
+
=

für

Fr. 60.80

inkl. gesetzl. MwSt. zzgl. Versandkosten

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