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]
@article{CrawfordA96, title = {Experimental Results on the Crossover Point in Random 3-SAT}, author = {James M. Crawford and Larry D. Auton}, year = {1996}, doi = {10.1016/0004-3702(95)00046-1}, url = {http://dx.doi.org/10.1016/0004-3702(95)00046-1}, researchr = {https://researchr.org/publication/CrawfordA96}, cites = {0}, citedby = {0}, journal = {Artificial Intelligence}, volume = {81}, number = {1-2}, pages = {31-57}, }