JBernstein: A Validity Checker for Generalized Polynomial Constraints.

Chih-Hong Cheng, Harald Ruess, Natarajan Shankar

Browse the full CAV paper archive.