db/journals/jacm/Freuder82.html Eugene C. Freuder A Sufficient Condition for Backtrack-Free Search. 24-32 1982 29 J. ACM 1 http://doi.acm.org/10.1145/322290.322292 db/journals/jacm/jacm29.html#Freuder82