Box Consistency through Weak Box Consistency.

Laurent Granvilliers, Frdric Goualard, Frdric Benhamou

Browse the full ICTAI paper archive.