Principles and practice of constraint programming : the Newport papers - Saraswat, Vijay; Van Hentenryck, Pascal, 1963- (MIT Press, 1995)