Login / Signup

Effective Quantifier Elimination over Real Closed Fields (Tutorial).

Nicolai N. Vorobjov Jr.
Published in: CSL (2003)
Keyphrases
  • quantifier elimination
  • database systems
  • constraint propagation
  • cardinality constraints
  • software engineering