Advanced methods for SAT solving

DSpace Repositorium (Manakin basiert)

Advanced methods for SAT solving

Autor(en): Kottler, Stephan
Tübinger Autor(en):
Kottler, Stephan
Erscheinungsjahr: 2013
Sprache: Englisch
Referenz zum Volltext: http://nbn-resolving.de/urn:nbn:de:bsz:21-opus-68475
Dokumentart: Dissertation
Seitenzahl: VII, 186 S. : Ill., graph. Darst.
Verbund-Nachweis: 383201519
383201411
Kommentar: Tübingen, Univ., Diss., 2013.
Zur Langanzeige

Das Dokument erscheint in: