Back to Backtracking : Controlling the ATMS" AAAI-86 (1986)

by B Williams
Venue:University of Illinois Department of Computer Science