Dynamic Backtracking (1993)

by M Ginsberg
Venue:JAIR