Wangning Long, Yu-Liang Wu, Jinian Bian. IBAW: an implication-tree based alternative-wiring logic transformation algorithm. In Proceedings of ASP-DAC 2000, Asia and South Pacific Design Automation Conference 2000, Yokohama, Japan. pages 415-422, ACM, 2000. [doi]
Abstract is missing.