<<The>> Satisfiability problem algorithms and analyses

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:	Erfüllbarkeitsproblem
Online Zugang:	Inhaltstext Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!