Constraint Programming An Appetizer Christian Schulte [email protected] Laboratory of Electronics and Computer Systems Institute of Microelectronics.