Sign in
raSAT: An SMT Solver for Polynomial Constraints.
Vu Xuan Tung
To Van Khanh
Mizuhito Ogawa
Published in:
IJCAR (2016)
Keyphrases
</>
constraint solver
constraint solving
constrained optimization
neural network
machine learning
genetic algorithm
learning algorithm
bayesian networks
constraint satisfaction problems
constraint satisfaction