Modular Constraint Solver Cooperation via Abstract Interpretation

Open in new window