Solving satisfiability in less than 2 n steps (1985)

by B Monien, E Speckenmeyer
Venue:Discrete Appl. Math