Consistency checking and optimization of macromodels.

Yun-Cheng Ju Vasant B. Rao Resve A. Saleh

Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1991)

Keyphrases

consistency checking
stochastic search
temporal reasoning
optimization algorithm
query answering
temporal constraints
optimization problems
databases
evolutionary algorithm
special case
multi objective
object oriented
optimization method