James M. Crawford Larry D. Auton Experimental Results on the Crossover Point in Random 3-SAT. 31-57 1996 81 Artif. Intell. 1-2 db/journals/ai/ai81.html#CrawfordA96 http://dx.doi.org/10.1016/0004-3702(95)00046-1