Polyhedral Techniques for Parametric Memory Requirement Estimation 147
5. Erin Parker and Siddhartha Chatterjee. An automata-theoretic algo-
rithm for counting solutions to Presburger formulas. In Compiler Con-
struction 2004, volume 2985 of Lecture Notes in Computer Science,
pages 104–119, Berlin, April 2004. Springer-Verlag.
6. Jes´us A. De Loera, Raymond Hemmecke, Jeremiah Tauzer, and Ruriko
Yoshida. Effective lattice point counting in rational convex polytopes.
The Journal of Symbolic Computation, 38(4):1273–1302, 2004.
7. William Pugh. Counting solutions to Presburger formulas: How and
why. In SIGPLAN Conference on Programming Language Design and
Implementation (PLDI’94), pages 121–134, 1994.
8. Philippe Clauss. Counting solutions to linear and nonlinear ...