Zur Startseite gehen
0,00 €*
Cover: 9783865415271 | The Satisfiability Problem | Algorithms and Analyses | Taschenbuch
Dekorationsartikel gehören nicht zum Leistungsumfang.
The Satisfiability Problem
Algorithms and Analyses
Taschenbuch von Uwe Schöning (u. a.)
Sprache: Englisch
Originalsprache: Deutsch

19,95 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

Kategorien:
Beschreibung
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.
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.
Über den Autor
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.
Zusammenfassung
Englische Ausgabe zu "Das SAT-Problem"
Details
Erscheinungsjahr: 2013
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Seiten: 184
Reihe: Mathematik für Anwendungen
Inhalt: 184 S.
ISBN-13: 9783865415271
ISBN-10: 386541527X
Sprache: Englisch
Originalsprache: Deutsch
Einband: Kartoniert / Broschiert
Autor: Schöning, Uwe
Torán, Jacobo
Hersteller: Lehmanns Media
Lehmanns Media GmbH
Maße: 241 x 171 x 15 mm
Von/Mit: Uwe Schöning (u. a.)
Erscheinungsdatum: 15.07.2013
Gewicht: 0,458 kg
preigu-id: 104760600
Über den Autor
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.
Zusammenfassung
Englische Ausgabe zu "Das SAT-Problem"
Details
Erscheinungsjahr: 2013
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Seiten: 184
Reihe: Mathematik für Anwendungen
Inhalt: 184 S.
ISBN-13: 9783865415271
ISBN-10: 386541527X
Sprache: Englisch
Originalsprache: Deutsch
Einband: Kartoniert / Broschiert
Autor: Schöning, Uwe
Torán, Jacobo
Hersteller: Lehmanns Media
Lehmanns Media GmbH
Maße: 241 x 171 x 15 mm
Von/Mit: Uwe Schöning (u. a.)
Erscheinungsdatum: 15.07.2013
Gewicht: 0,458 kg
preigu-id: 104760600
Warnhinweis

Ähnliche Produkte

Ähnliche Produkte

Taschenbuch
Cover: 9781475784053 | Bioinformatics | Databases and Systems | Stanley I. Letovsky | Buch
Bioinformatics
Databases and Systems
EAN: 9781475784053
Sprache: Englisch
Von/Mit: Stanley I. Letovsky

230,95 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9780521649766 | Computational Geometry in C | Joseph O'Rourke | Taschenbuch | Englisch
Computational Geometry in C
EAN: 9780521649766
Sprache: Englisch
Von/Mit: Joseph O'Rourke

67,40 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9783642075407 | Incomplete Information: Structure, Inference, Complexity | Taschenbuch
Incomplete Information: Structure, Inference, Complexity
EAN: 9783642075407
Sprache: Englisch
Von/Mit: Ewa Orlowska (u. a.)

138,95 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9781784393908 | Machine Learning with R - Second Edition | Brett Lantz | Taschenbuch
Machine Learning with R - Second Edition
EAN: 9781784393908
Sprache: Englisch
Von/Mit: Brett Lantz

62,10 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9781501515132 | Random Number Generators¿Principles and Practices | David Johnston
Random Number Generators¿Principles and Practices
A Guide for Engineers and Programmers
EAN: 9781501515132
Sprache: Englisch
Von/Mit: David Johnston

67,30 €*

Lieferzeit 4-7 Werktage

Buch
Cover: 9781472947413 | Outnumbered | David Sumpter | Buch | Gebunden | Englisch | 2018
Outnumbered
From Facebook and Google to Fake News and Filter-bubbles - The Algorithms That Control Our Lives
EAN: 9781472947413
Sprache: Englisch
Von/Mit: David Sumpter

22,95 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9783658186104 | Algorithmen kompakt und verständlich | Lösungsstrategien am Computer
Algorithmen kompakt und verständlich
Lösungsstrategien am Computer
EAN: 9783658186104
Sprache: Deutsch
Von/Mit: Markus von Rimscha

32,99 €*

Lieferzeit 4-7 Werktage

Buch
Cover: 9783030112974 | An Introduction to Kolmogorov Complexity and Its Applications | Buch
An Introduction to Kolmogorov Complexity and Its Applications
EAN: 9783030112974
Sprache: Englisch
Von/Mit: Paul Vitányi (u. a.)

96,29 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9781617295430 | Deep Reinforcement Learning in Action | Alexander Zai (u. a.) | Buch
Deep Reinforcement Learning in Action
EAN: 9781617295430
Sprache: Englisch
Von/Mit: Alexander Zai (u. a.)

59,40 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9783658297787 | Data Analytics | Models and Algorithms for Intelligent Data Analysis
Data Analytics
Models and Algorithms for Intelligent Data Analysis
EAN: 9783658297787
Sprache: Englisch
Von/Mit: Thomas A. Runkler

48,95 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9783030597917 | Exercises in Numerical Linear Algebra and Matrix Factorizations | Buch
Exercises in Numerical Linear Algebra and Matrix Factorizations
EAN: 9783030597917
Sprache: Englisch
Von/Mit: Tom Lyche (u. a.)

48,95 €*

Lieferzeit 4-7 Werktage

Buch
Cover: 9781108488082 | A First Course in Random Matrix Theory | Marc Potters (u. a.) | Buch
A First Course in Random Matrix Theory
EAN: 9781108488082
Sprache: Englisch
Von/Mit: Marc Potters (u. a.)

79,85 €*

Lieferzeit 1-2 Wochen

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...