Items where Author is "Schmidt, Tatjana"
Group by: Item Type | No Grouping
Jump to: Thesis
Number of items: 1.
Schmidt, Tatjana (2010) Computational Complexity of SAT, XSAT and NAE-SAT for linear and mixed Horn CNF formulas. PhD thesis, Universität zu Köln.
URL to embed this page into external WWW-pages: