Login / Signup
Quantifier Elimination in the Theory of an Algebraically-closed Field
Doug Ierardi
Published in:
STOC (1989)
Keyphrases
</>
quantifier elimination
presburger arithmetic
quantifier free
constraint propagation
constraint databases
functional programming
cardinality constraints
machine learning
knowledge base
objective function