Taming Discrete Integration via the Boon of
           Dimensionality

  Jeffrey M. Dudek        Dror Fried              Kuldeep S. Meel
   Rice University     The Open University of Israel    National University of Singapore
   Houston, USA           Israel                Singapore

                       Abstract
     Discrete integration is a fundamental problem in computer science that concerns
     the computation of discrete sums over exponentially large sets. Despite intense
     interest ...