Login / Signup

Real Quantifier Elimination in the RegularChains Library.

Changbo ChenMarc Moreno Maza
Published in: ICMS (2014)
Keyphrases
  • quantifier elimination
  • presburger arithmetic
  • functional programming
  • constraint propagation
  • constraint databases
  • first order logic
  • objective function
  • data exchange
  • linear constraints