On Linear CNF Formulas.

Stefan Porschen, Ewald Speckenmeyer, Bert Randerath

Browse the full SAT paper archive.