Login / Signup

Formula Simplification for Real Quantifier Elimination Using Geometric Invariance.

Hidenao IwaneHirokazu Anai
Published in: ISSAC (2017)
Keyphrases
  • quantifier elimination
  • constraint propagation
  • functional programming
  • constraint databases
  • presburger arithmetic
  • first order logic
  • cardinality constraints