This book constitutes the thoroughly refereed post-proceedings of the Joint ERCIM/Compulog-Net Workshop on New Trends in Constraints held in Paphos, Cyprus, Greece in October 1999. The 12 revised full research papers presented together with four surveys by leading researchers were carefully reviewed. The book is divided in topical sections on constraint propagation and manipulation, constraint programming, and rule-based constraint programming.
Includes supplementary material: sn.pub/extras
Krzysztof R. Apt
Constraint Constraint programming constraint logic programming constraint satisfaction constraint solving declarative programming programming requirements