Advanced methods for SAT solving

DSpace Repository

Advanced methods for SAT solving

Author: Kottler, Stephan
Tübinger Autor(en):
Kottler, Stephan
Issue year: 2013
Language: English
Full text: http://nbn-resolving.de/urn:nbn:de:bsz:21-opus-68475
Dokumentart: PhDThesis
Pages: VII, 186 S. : Ill., graph. Darst.
Reference: 383201519
383201411
Note: Tübingen, Univ., Diss., 2013.
Show full item record

This item appears in the following Collection(s)