Experimental Results on the Crossover Point in Satisfiability Problems. - James M. Crawford; Larry D. Auton (AAAI, 1993)

Experimental Results on the Crossover Point in Random 3-SAT. - James M. Crawford; Larry D. Auton (Artif. Intell., 1996)