Principles and Practice of Constraint Programming - CP 2000 : 6th International Conference, CP 2000 Singapore, September 18-21, 2000 Proceedings - Rina Dechter ((Lecture Notes in Computer Science))