Counting solutions to Presburger formulas: how and why
| Title | Counting solutions to Presburger formulas: how and why |
| Publication Type | Journal Articles |
| Year of Publication | 1994 |
| Authors | Pugh W |
| Journal | ACM SIGPLAN Notices |
| Volume | 29 |
| Issue | 6 |
| Pagination | 121 - 134 |
| Date Published | 1994/// |