Fast Approximations of Quantifier Elimination.

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

Published in: CAV (2) (2023)

Keyphrases

quantifier elimination
constraint propagation
functional programming
presburger arithmetic
first order logic
cardinality constraints
constraint databases
constraint query languages
objective function
optimal solution
general purpose
linear programming
constraint satisfaction problems