Presburger arithmetic with threshold counting quantifiers is easy.

Dmitry Chistikov Christoph Haase Alessio Mansutti

Published in: CoRR (2021)

Keyphrases

presburger arithmetic
quantifier elimination
first order logic
algebraic structure
constraint propagation
databases
general purpose
software engineering