Algorithms for Weighted Counting over Parametric Polytopes: A Survey and a Practical Comparison.

Sven Verdoolaege Maurice Bruynooghe Algorithms for Weighted Counting over Parametric Polytopes: A Survey and a Practical Comparison. 60-66 2008 ITSL conf/itsl/2008 db/conf/itsl/itsl2008.html#VerdoolaegeB08