raSAT: an SMT solver for polynomial constraints.

Vu Xuan Tung To Van Khanh Mizuhito Ogawa

Published in: Formal Methods Syst. Des. (2017)

Keyphrases

constraint solver
case study
constraint satisfaction
constraint programming
constraint solving
artificial intelligence
natural language
geometric constraints
constraint solvers