Exploiting sparsity in difference-bound matrices
scientific article; zbMATH DE number 6925338