Login / Signup

Approaches to Parallel Quantifier Elimination.

Andreas DolzmannOliver GloorThomas Sturm
Published in: ISSAC (1998)
Keyphrases
  • quantifier elimination
  • high level
  • first order logic
  • constraint propagation