Principles and Practice of Constraint Programming - CP 2000 6th International Conference, CP 2000 Singapore, September 18-21, 2000 Proceedings - Dechter, Rina; Dechter, Rina (Springer Berlin Heidelberg : Imprint: Springer, 2000)