About these proceedings
This book constitutes the refereed proceedings of the 8th International Conference on Principles and Practice of Constraint Programming, CP 2002, held in Ithaca, NY, USA in September 2002.
The 38 revised full papers and 6 innovative application papers as well as the 14 short papers presented toghether with 25 abstracts from contributions to the doctoral program were carefully reviewed and selected from 146 submissions. All current issues in constraint processing are addressed, ranging from theoretical and foundational issues to application in various fields.
Constraint Logic Programming Constraint Programming Constraint Propagation Constraint Satisfaction Decision Making Distributed Making Linear Constraints Search Algorithms Variable algorithm complexity heuristics optimization programming proving