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

by Ingo Schiermeyer
Venue:Computer Science Logic