## Erin Parker, Siddhartha Chatterjee

*An Automata-Theoretic Algorithm for Counting Solutions to Presburger Formulas*

CC, 2004.

@inproceedings{CC-2004-ParkerC, author = "Erin Parker and Siddhartha Chatterjee", booktitle = "{Proceedings of the 13th International Conference on Compiler Construction}", doi = "10.1007/978-3-540-24723-4_8", isbn = "3-540-21297-3", pages = "104--119", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{An Automata-Theoretic Algorithm for Counting Solutions to Presburger Formulas}", volume = 2985, year = 2004, }