Experimental results on the crossover point (1996)

by J M Crawford, L D Auton
Venue:in random 3-SAT, Artificial Intelligence 81