Upper and Lower Bounds on the Number of Solutions

  • Jean-Philippe Martin

MSR-TR-2007-164 |

We present a fast an extensible algorithm for computing upper and lower bounds on the number of solutions to a system of equations. For a given size of variables (e.g. 32 bits), the algorithm can be run in time linear in the number of terms and variables, at the cost of looser bounds.