Login / Signup

New Domains for Applied Quantifier Elimination.

Thomas Sturm
Published in: CASC (2006)
Keyphrases
  • quantifier elimination
  • high level
  • integrity constraints
  • constraint propagation
  • presburger arithmetic