Experimental Results on the Crossover Point in Satisfiability Problems.

James M. Crawford, Larry D. Auton

Browse the full AAAI paper archive.