An algebraic approach to the satisfiability of nonlinear constraints (2005)

by A Tiwari
Venue:In Computer Science Logic, 19th International Workshop CSL 2005