"Analysis and Visualization Tools for Constraint Programming" - читать интересную книгу автора (Pierre Deransart, M.V. Hermenegildo, J. Maluszynski)