Linear Time Algorithms for Some Not-All-Equal Satisfiability Problems.

Stefan Porschen, Bert Randerath, Ewald Speckenmeyer

Browse the full SAT paper archive.