1. Modular Constraint Solver Cooperation via Abstract Interpretation. Issue 6 (November 2020) Authors: TALBOT, PIERRE; MONFROY, ÉRIC; TRUCHET, CHARLOTTE Journal: Theory and practice of logic programming Issue: Volume 20:Issue 6(2020) Page Start: 848 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗