Verification and optimization for LSI & PCB layout.

H. Nelson Brady Robert J. Smith

Published in: DAC (1981)

Keyphrases

global optimization
optimization process
discrete optimization
optimization problems
model checking
text classification
optimization algorithm
latent semantic indexing
search engine
database systems
combinatorial optimization
constrained optimization