Efficient Strongly Relational Polyhedral Analysis.

Sriram Sankaranarayanan, Michael Coln, Henny B. Sipma, Zohar Manna

Browse the full VMCAI paper archive.