Counting the solutions of Presburger equations without enumerating them.

Bernard Boigelot Louis Latour

Published in: Theor. Comput. Sci. (2004)

Keyphrases

polynomial equations
boundary value problem
optimal solution
closed form solutions
real time
data sets
databases
real world
data mining
objective function
multi agent
expert systems
multi objective
numerical solution
numerical algorithms