"Principles and Practice of Constraint Programming, CP'97 3 conf" - читать интересную книгу автора (Gert Smolka)