"An Algebraic Approach for the Unsatisfiability of Nonlinear Constraints."

Ashish Tiwari (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics