Login / Signup

Effective quantifier elimination for industrial applications.

Hirokazu Anai
Published in: ISSAC (2014)
Keyphrases
  • industrial applications
  • quantifier elimination
  • industrial systems
  • optimal solution
  • constraint propagation
  • expert systems
  • general purpose
  • expressive power
  • user defined
  • constraint programming