G. F. Krivulia, Syrevich Е. Е., and A. P. Karasiov, “NETLIST ANALYSIS IN LOGICAL SYNTHESIS SYSTEMS”, RIC, no. 2, Jan. 2011.