Constraint Programming, Basics And Trends door Andreas Podelski