SAS 2016Exploiting Sparsity in Difference-Bound MatricesGraeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. StuckeyDOI 10.1007/978-3-662-53413-7_10dblpBibTeXNo abstract available.