Login / Signup
A survival guide to presburger arithmetic.
Christoph Haase
Published in:
ACM SIGLOG News (2018)
Keyphrases
</>
presburger arithmetic
quantifier elimination
algebraic structure
constraint propagation
decision procedures