Essentials of Constraint Programming Book

1	Introduction	1
Pt. I	Constraint Programming
2	Algorithm = Logic + Control	7
3	Preliminaries of Syntax and Semantics	9
4	Logic Programming	13
5	Constraint Logic Programming	23
6	Concurrent Constraint Logic Programming	31
7	Constraint Handling Rules	41
Pt. II	Constraint Systems
8	Constraint Systems and Constraint Solvers	53
9	Boolean Algebra B	63
10	Rational Trees RT	69
11	Linear Polynomial Equations R	77
12	Finite Domains FD	83
13	Non-linear Equations I	93
Pt. III	Applications
14	Market Overview	101
15	Optimal Sender Placement for Wireless Communication	105
16	The Munich Rent Advisor	111
17	University Course Timetabling	117
Pt. IV	Appendix
A	Foundations from Logic	125
	List of Figures	135
	References	137
	Index	141