Counting Solutions to Presburger Formulas: How and Why.

William W. Pugh

Browse the full PLDI paper archive.