"An exhaustive search method to find all small solutions of a multivariate ..."

Hui Zhang, Tsuyoshi Takagi (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics