Constraint Programming : In Pursuit of the Holy Grail
algorithms for constraint - satisfaction problems : a survey .