Solving 3-satisfiability in less than 1.579 n steps (1993)

by I Schiermeyer
Venue:Proc. 6th Worksh. Computer Science Logic