The satisfiability problem : algorythms and analyses

The satisfiability problem algorythms and analyses

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Schöning, Uwe (VerfasserIn)
Weitere Verfasser: Torán, Jacobo (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Berlin Lehmanns Media 2013
Schriftenreihe:Mathematik für Anwendungen 3
Schlagworte:
Satisfiability > Algorithms > Erfüllbarkeitsproblem
Online Zugang:Inhaltstext
Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:" English translation of a slightly extended version" - im Vorwort
Beschreibung:184 Seiten
Diagramme
240 x 170 mm
ISBN:9783865415271
978-3-86541-527-1