Quantifier Elimination over Finite Fields Using Gröbner Bases

Sicun Gao André Platzer Edmund M. Clarke

Published in: CoRR (2011)

Keyphrases

quantifier elimination
numerically stable
constraint propagation
functional programming
presburger arithmetic
cardinality constraints
constraint databases
first order logic
polynomial equations
finite number
database
machine learning
constraint satisfaction
numerical stability