Bounding quantification in parametric expansions of Presburger arithmetic.

Published in: Arch. Math. Log. (2018)

Keyphrases

presburger arithmetic
quantifier elimination
algebraic structure
decision procedures
constraint propagation
cardinality constraints
functional programming
first order logic
databases
knowledge base
satisfiability problem
modal logic
constraint databases