SAT-controlled redundancy addition and removal: a novel circuit restructuring technique.

Chi-An Wu Ting-Hao Lin Shao-Lun Huang Chung-Yang Huang

Published in: ASP-DAC (2009)

Keyphrases

evolutionary algorithm
neural network
search algorithm
high speed
satisfiability problem
case study
sat problem
electronic circuits