Constraint Programming : In Pursuit of the Holy Grail
increasing tree search efficiency for constraint satisfaction problems .