A Formal Quantifier Elimination for Algebraically Closed Fields.

Cyril Cohen Assia Mahboubi

Published in: AISC/MKM/Calculemus (2010)

Keyphrases

quantifier elimination
constraint propagation
presburger arithmetic
functional programming
constraint databases
first order logic
constraint programming
cardinality constraints
artificial intelligence
search space
general purpose
constraint satisfaction