Solving congruence equations using Bernstein forms
  We present a subdivision method to solve systems of congruence equations. This method is inspired in a subdivision method, based on Bernstein forms, to solve systems of polynomial inequalities in several variables and arbitrary degrees. The proposed method is exponential in the number of variables. 
C\'esar Massri, Manuel Dubinsky
math.OC