Constraint Programming, Basics And Trends by Andreas Podelski