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