Experimental Results on the Crossover Point in Random 3-SAT

James M. Crawford, Larry D. Auton. Experimental Results on the Crossover Point in Random 3-SAT. Artificial Intelligence, 81(1-2):31-57, 1996. [doi]

Abstract

Abstract is missing.