raSAT: An SMT Solver for Polynomial Constraints.

Vu Xuan Tung, To Van Khanh, Mizuhito Ogawa

Browse the full CADE paper archive.