Upper Bound on the Number of Nonnegative Integer Solutions to a Linear Equation
Thomas A. Lambe · SIAM Journal on Applied Mathematics · 1977
An analysis that progresses recursively along the terms of a linear equation generates a simple algebraic function that is an efficient upper bound to the number of sets of nonnegative integer variables satisfying the equation.