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]

Possibly Related Publications

The following publications are possibly variants of this publication: