An Efficient Lazy SMT Solver for Nonlinear Numerical Constraints.

Xiaohui Ji Feifei Ma

Published in: WETICE (2012)

Keyphrases

constraint solver
constraint solving
finite difference
constraint satisfaction
constraint programming
information retrieval
computationally efficient
numerical analysis
statistical machine translation
constrained optimization
global constraints