[up] Up a level
Group by: Item Type | Date | No Grouping
Jump to: Article | Thesis
Number of items: 2.

Article

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 Mon Dec 1 04:29:50 2025 CET.