Analysis And Visualization Tools For Constraint Programming door Pierre Deransart & Manuuel Hermenegildo