Yang, Meng, "Algorithms in computer-aided design of VLSI circuits.", ,