Counting Solutions to Presburger Formulas: How and Why

William Pugh. Counting Solutions to Presburger Formulas: How and Why. In PLDI. pages 121-134, 1994.

Abstract

Abstract is missing.