Constraint satisfaction problems: Algorithms and applications
increasing tree search efficiency for constraint satisfaction problems .