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