A su cient condition for backtrack-free search (0)

by E C Freuder
Venue:J. ACM