Larry D. Auton

Publication Activity (10 Years)

Years Active: 1993-1996
Publications (10 Years): 0

Publications

James M. Crawford, Larry D. Auton
Experimental Results on the Crossover Point in Random 3-SAT. Artif. Intell. 81 (1-2) (1996)
James M. Crawford, Larry D. Auton
Experimental Results on the Crossover Point in Satisfiability Problems. AAAI (1993)