Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
Exploiting Sparsity in Difference-Bound Matrices
SAS, 2016.
@inproceedings{SAS-2016-GangeNSSS,
author = "Graeme Gange and Jorge A. Navas and Peter Schachte and Harald Søndergaard and Peter J. Stuckey",
booktitle = "{Proceedings of the 23rd International Static Analysis Symposium}",
doi = "10.1007/978-3-662-53413-7_10",
isbn = "978-3-662-53412-0",
pages = "189--211",
publisher = "{Springer}",
title = "{Exploiting Sparsity in Difference-Bound Matrices}",
year = 2016,
}