Complexity Results for Linear XSAT-Problems.

Stefan Porschen, Tatjana Schmidt, Ewald Speckenmeyer

Browse the full SAT paper archive.