%0 Conference Paper %1 conf/sas/GangeNSSS16 %A Gange, Graeme %A Navas, Jorge A. %A Schachte, Peter %A Søndergaard, Harald %A Stuckey, Peter J. %B SAS %D 2016 %E Rival, Xavier %I Springer %K %P 189-211 %T Exploiting Sparsity in Difference-Bound Matrices. %U http://dblp.uni-trier.de/db/conf/sas/sas2016.html#GangeNSSS16 %V 9837 %@ 978-3-662-53412-0

@inproceedings{conf/sas/GangeNSSS16, added-at = {2023-12-13T07:36:17.000+0100}, author = {Gange, Graeme and Navas, Jorge A. and Schachte, Peter and Søndergaard, Harald and Stuckey, Peter J.}, biburl = {https://www.bibsonomy.org/bibtex/2fe7f16714003b16aef6895e6cb70f567/admin}, booktitle = {SAS}, crossref = {conf/sas/2016}, editor = {Rival, Xavier}, ee = {https://doi.org/10.1007/978-3-662-53413-7_10}, interhash = {bb085198f8117225e42642c36d3fa5ac}, intrahash = {fe7f16714003b16aef6895e6cb70f567}, isbn = {978-3-662-53412-0}, keywords = {}, pages = {189-211}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T07:36:17.000+0100}, title = {Exploiting Sparsity in Difference-Bound Matrices.}, url = {http://dblp.uni-trier.de/db/conf/sas/sas2016.html#GangeNSSS16}, volume = 9837, year = 2016 }