Principles and Practice of Constraint Programming — CP '95