3-satisfiability is testable in o(1.62 r ) steps (1979)

by B Monien, E Speckenmeyer
Venue:Universität-GH Paderborn