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