Exploiting Sparsity in Difference-Bound Matrices.

Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Sndergaard, Peter J. Stuckey

Browse the full SAS paper archive.