Improved precision in polyhedral analysis with wrapping

Stefan Bygde, Björn Lisper, Niklas Holsti. Improved precision in polyhedral analysis with wrapping. Science of Computer Programming, 133:74-87, 2017. [doi]

No reviews for this publication, yet.