Sign in

raSAT: an SMT solver for polynomial constraints.

Vu Xuan TungTo Van KhanhMizuhito 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