Marie Pelleau

• Abstract Domains in Constraint Programming