Fast Approximations of Quantifier Elimination.

Isabel Garcia-Contreras Hari Govind V. K.Sharon Shoham Arie Gurfinkel

Published in: CoRR (2023)

Keyphrases

quantifier elimination
constraint propagation
presburger arithmetic
functional programming
cardinality constraints
constraint databases
first order logic
relational databases
constraint satisfaction
constraint query languages
databases
lower bound
general purpose
inference rules