Bipartitioning circuits using TABU search | IEEE Conference Publication | IEEE Xplore