Das Erfüllbarkeitsproblem SAT Algorithmen und Analysen
Das Erfüllbarkeitsproblem der Aussagenlogik (SAT) ist ein Entscheidungsproblem, das nach der Erfüllbarkeit einer aussagenlogischen Formel fragt. Die Entwicklung und Analyse entsprechender Lösungsalgorithmen ist ein wichtiger Bestandteil der Algorithmik. Das vorliegende Werk liefert nun vorzugsweise...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Weitere Verfasser: | |
| Format: | UnknownFormat |
| Sprache: | ger |
| Veröffentlicht: |
Berlin
Lehmanns Media
2012
|
| Schriftenreihe: | Mathematik für Anwendungen
1 |
| Schlagworte: | |
| Online Zugang: | Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Zusammenfassung: | Das Erfüllbarkeitsproblem der Aussagenlogik (SAT) ist ein Entscheidungsproblem, das nach der Erfüllbarkeit einer aussagenlogischen Formel fragt. Die Entwicklung und Analyse entsprechender Lösungsalgorithmen ist ein wichtiger Bestandteil der Algorithmik. Das vorliegende Werk liefert nun vorzugsweise Studierenden der Informatik, aber auch angehenden Mathematikern sowie dem Praktiker eine zugängliche Darstellung des Erfüllbarkeitsproblems SAT und seiner Struktur sowie seiner elementaren Eigenschaften und analysiert entsprechende Algorithmen und Kalküle zu seiner Lösung. Vornehmlich an effizienten Algorithmen interessiert, finden sich im Hauptteil nur die entsprechend notwendigen Definitionen und Sätze. Anhänge liefern das darüber hinausgehend Benötigte. Die Darstellung ist mithin recht kompakt und zielorientiert. Der Zielgruppe als Materialsammlung für eine entsprechende Vorlesung oder als Grundlage für Seminare über das Thema SAT-Solving sehr empfohlen. Für eine erfolgreiche Eigenlektüre bedarf es entsprechender Kompetenzen. In dieser Form kein Vergleichstitel in deutscher Sprache vorhanden. (3) |
|---|---|
| Beschreibung: | Literaturverz. S. [174] - 182 |
| Beschreibung: | 187 Seiten Diagramme, Illustrationen 240 mm x 170 mm |
| ISBN: | 9783865414731 978-3-86541-473-1 |