Login / Signup

Quantifier elimination for a class of exponential polynomial formulas.

Ming XuZhi-Bin LiLu Yang
Published in: J. Symb. Comput. (2015)
Keyphrases
  • quantifier elimination
  • quantifier free
  • presburger arithmetic
  • constraint propagation
  • cardinality constraints
  • functional programming
  • first order logic
  • database