A Sufficient Condition for Backtrack-Bounded Search (1985)

by E Freuder
Venue:JACM