A sufficient condition for backtrack-free search (1982)

by Eugene C Freuder
Venue:J. ACM