Symbolic-interval cooperation in constraint programming.

Laurent Granvilliers, ric Monfroy, Frdric Benhamou

Browse the full ISSAC paper archive.