Bücher — constraint programming