@inproceedings{simon10speeding, author = {A. Simon}, title = {Speeding up {P}olyhedral {A}nalysis by {I}dentifying {C}ommon {C}onstraints}, booktitle = {Workshop on Numeric and Symbolic Abstract Domains}, editor = {A. Min\'e}, month = {September}, year = 2010, series = {ENTCS}, publisher = {Springer}, address = {Perpignan, France}, }