Abstract Domains for Constraint Programming, with the Example of Octagons.

Charlotte Truchet, Marie Pelleau, Frdric Benhamou

Browse the full SYNASC paper archive.