L.D. Anton
Bibliography
Crawford, James M. and Anton, L. D. 1993. “Experimental Results on the Crossover Point in Satisfiability Problems.” in AAAI-93. Proceedings of the Eleventh National Conference on Artificial Intelligence, edited by Richard E. Fikes and Wendy G. Lehnert, pp. 21–27. Menlo Park, California: The AAAI Press.
Crawford, James M. and Anton, L. D. 1996. “Experimental Results on the Crossover Point in Random 3-SAT.” Artificial Intelligence 81(1–2): 31–57.