A sucient condition for backtrack-free search (1982)

by E Freuder
Venue:Journal of the ACM