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