Experimental Results on the Crossover Point in Satisfiability Problems.

James M. Crawford Larry D. Auton Experimental Results on the Crossover Point in Satisfiability Problems. 21-27 1993 AAAI db/conf/aaai/aaai93.html#CrawfordA93