"Principles and Practice of Constraint Programming, CP'96 2 conf" - читать интересную книгу автора (Eugene C. Freuder)