@inproceedings{simon05exploiting, author = {A. Simon and A. King}, title = {Exploiting {S}parsity in {P}olyhedral {A}nalysis}, booktitle = {Static Analysis Symposium}, editor = {C. Hankin and I. Siveroni}, month = {September}, year = 2005, pages = {336--351}, series = {LNCS}, volume = {3672}, publisher = {Springer}, doi = {10.1007/11547662_23}, address = {London, UK}, }