Expression equivalence checking using interval analysis.

Mohammad Ali Ghodrat Tony Givargis Alexandru Nicolau

Published in: IEEE Trans. Very Large Scale Integr. Syst. (2006)

Keyphrases

interval analysis
autocalibration
constrained optimization
constraint propagation
fuzzy set theory
constraint sets
search algorithm
fuzzy logic