Quantifier elimination for counting extensions of Presburger arithmetic.

Dmitry Chistikov Christoph Haase Alessio Mansutti

Published in: FoSSaCS (2022)

Keyphrases

presburger arithmetic
quantifier elimination
constraint propagation
first order logic
functional programming
constraint databases
cardinality constraints
algebraic structure
database
natural language
expressive power
transitive closure
decision procedures
data model