Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Jump to: Journal Article | Thesis
Number of items: 3.

Journal Article

Porschen, Stefan, Schmidt, Tatjana, Speckenmeyer, Ewald and Wotzlaw, Andreas (2014). XSAT and NAE-SAT of linear CNF classes. Discret Appl. Math., 167. S. 1 - 15. AMSTERDAM: ELSEVIER SCIENCE BV. ISSN 1872-6771

Porschen, Stefan, Schmidt, Tatjana, Speckenmeyer, Ewald and Wotzlaw, Andreas (2011). XSAT and NAE-SAT of linear CNF classes. Discrete Applied Mathematics, 167. pp. 1-14. Elsevier.

Thesis

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.

This list was generated on Fri Apr 19 00:46:20 2024 CEST.