Revising hull and box consistency (1999)

by F Benhamou, F Goualard, L Granvilliers, J F Puget
Venue:In Proceedings of the International Conference on Logic Programming