Combining Local Consistency, Symbolic Rewriting and Interval Methods.

Frdric Benhamou, Laurent Granvilliers

Browse the full AISC paper archive.