Experimental results on the crossover point (1996)

by J Crawford, L Auton
Venue:in random 3SAT. Arti Intelligence 81:31{57