Back to Backtracking: Controlling the ATMS.

Johan de Kleer, Brian C. Williams

Browse the full AAAI paper archive.