Table of Contents

Part 1 Constraints: constraints; simplifications, optimization and implication; finite constraint domains. Part 2 Constraint logic programming: constraint logic programming; simple modelling using data structures; controlling search; modelling with finite domain constraints; advanced programming techniques; CLP systems. Part 3 Other constraint programming languages: constraint databases; other constraint programming languages.

About the Author

Kimbal Marriott leads the MArVL: Monash Adaptive Visualisation Lab and help runs the NICTA Monash Laboratory at Monash University. Peter Stuckey is Professor in the Department of Computing and Information System at the University of Melbourne.