Eugene C. Freuder In Pursuit of the Holy Grail. 57-61 1997 2 Constraints 1 db/journals/constraints/constraints2.html#Freuder97