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

Ausführliche Beschreibung

Bibliographische Detailangaben

1. Verfasser:	Schöning, Uwe (VerfasserIn)
Weitere Verfasser:	Torán, Jacobo (VerfasserIn)
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	Berlin Lehmanns Media 2012
Schriftenreihe:	Mathematik für Anwendungen 1
Schlagworte:	Satisfiability > Algebra, Boolean > Algorithms > Algebra, boolean > Erfüllbarkeitsproblem
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!