Login / Signup
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