Toggle Equivalence Preserving (TEP) Logic Optimization.

Eugene Goldberg Kanupriya Gulati Sunil P. Khatri

Published in: DSD (2007)

Keyphrases

optimization process
global optimization
optimization problems
optimization algorithm
logic programming
computational properties
set theory
asynchronous circuits
data sets
neural network
case study
optimization method
constrained optimization
classical logic
sound and complete axiomatization