On Fourier's Algorithm for Linear Arithmetic Constraints.

Jean-Louis Lassez Michael J. Maher

Published in: J. Autom. Reason. (1992)

Keyphrases

computational complexity
np hard
optimization algorithm
search space
dynamic programming
preprocessing
fixed point
search strategy