C.: A Sufficient Condition for Backtrack-Free Search (1982)

by E Freuder
Venue:Journal of the ACM