Login / Signup
Presburger arithmetic, rational generating functions, and quasi-polynomials
Kevin Woods
Published in:
CoRR (2012)
Keyphrases
</>
presburger arithmetic
quantifier elimination
algebraic structure
bayesian networks
decision procedures
decision making