A sufficient condition for backtrack-bounded search (1985)

by Eugene C Freuder
Venue:Journal of the ACM