Logic optimization by an improved sequential redundancy addition and removal techniques.

Uwe Gläser Kwang-Ting Cheng

Published in: ASP-DAC (1995)

Keyphrases

optimization method
optimization process
optimization problems
neural network
constrained optimization
global optimization
discrete optimization
digital circuits
proof theory
data mining
information systems
multi objective
logic programming
optimization algorithm
joint optimization