Counting the Solutions of Presburger Equations without Enumerating Them.

Bernard Boigelot Louis Latour

Published in: CIAA (2001)

Keyphrases

polynomial equations
optimal solution
boundary value problem
data mining
differential equations
feasible solution
closed form solutions
numerical solution
neural network
clustering algorithm
case study
data structure
solution space
similar problems
nonlinear equations