XSAT and NAE-SAT of linear CNF classes

Artikel › Journalartikel › 2014

Zitation

Porschen, Stefan; Schmidt, Tatjana; Speckenmeyer, Ewald; Wotzlaw, Andreas: XSAT and NAE-SAT of linear CNF classes. In: Discrete Applied Mathematics 167. (2014), S. 1-14.

ISSN

0166-218X

Zitieren

BibTeX / RIS