Quantifier Elimination over Finite Fields Using Gröbner Bases.

Sicun Gao André Platzer Edmund M. Clarke

Published in: CAI (2011)

Keyphrases

quantifier elimination
numerically stable
constraint propagation
presburger arithmetic
functional programming
constraint databases
cardinality constraints
polynomial equations
first order logic
computer vision
finite number
database
high level
expressive power
numerical stability