Login / Signup
Formula Simplification for Real Quantifier Elimination Using Geometric Invariance.
Hidenao Iwane
Hirokazu Anai
Published in:
ISSAC (2017)
Keyphrases
</>
quantifier elimination
constraint propagation
functional programming
constraint databases
presburger arithmetic
first order logic
cardinality constraints