Constraint Processing (The Morgan Kaufmann Series in Artificial Intelligence)