A sufficient condition for backtrack-bounded search (1982)

by E C Freuder
Venue:Journal of the ACM