Tsutomu Sasao, Jon T. Butler. On the minimization of SOPs for bi-decomposition functions. In Proceedings of ASP-DAC 2001, Asia and South Pacific Design Automation Conference 2001, January 30-February 2, 2001, Yokohama, Japan. pages 219-224, ACM, 2001. [doi]
Abstract is missing.