Login / Signup

TaPAS: The Talence Presburger Arithmetic Suite.

Jérôme LerouxGérald Point
Published in: TACAS (2009)
Keyphrases
  • presburger arithmetic
  • quantifier elimination
  • algebraic structure
  • decision procedures
  • constraint propagation
  • functional programming
  • first order logic
  • constraint databases
  • artificial intelligence