@inproceedings{clauss:hal-01100306, TITLE = {{Counting Solutions to Linear and Nonlinear Constraints Through Ehrhart Polynomials: Applications to Analyze and Transform Scientific Programs}}, AUTHOR = {Clauss, Philippe}, URL = {https://inria.hal.science/hal-01100306}, BOOKTITLE = {{ICS, International Conference on Supercomputing}}, ADDRESS = {Munich, Germany}, SERIES = {ACM International Conference on Supercomputing 25th Anniversary Volume}, YEAR = {2014}, DOI = {10.1145/2591635.2667172}, HAL_ID = {hal-01100306}, HAL_VERSION = {v1}, }