Essentials of Constraint Programming Book

Introduction.- Part I. Constraint Programming: Algorithm = Logic + Control; Preliminaries of Syntax and Semantics; Logic Programming; Constraint Logic Programming; Concurrent Constraint Logic Programming; Constraint Handling Rules.- Part II. Constraint Systems: Constraint Systems and Constraint Solvers; Boolean Algebra B; Rational Trees RT; Linear Polynomial Equations R; Finite Domains FD; Non-linear Equations I.- Part III. Applications: Market Overview; Optimal Sender Placement for Wireless Communication; The Munich Rent Advisor; University Course Timetabling.- Part IV. Appendix: Foundations from Logic; List of Figures; References; Index.