Backtrack-free and backtrack-bounded search (1988)

by E Freuder
Venue:Search in Artificial Intelligence