1. Albert Ren Rui Wang, Algorithms for multilevel logic optimization, Ph.D. Thesis, University of California, Berkeley, 1989.
2. Factoring logic functions;Brayton;IBM J. Res. Develop.,1987
3. The decomposition and factorization of Boolean expressions;Brayton,1982
4. Efficient Boolean division and substitution using redundancy addition and removing;Chang;IEEE Trans. Comput. Aided Design,1999
5. J. Demmel, CS267: Lectures 20 and 21—Graph Partitioning, Part 1, website: www.cs.berkeley.edu/d˜emmel/cs267/lecture18/lecture18.html, March 1996.