Tsutomu Sasao, Munehiro Matsuura. BDD representation for incompletely specifiedvmultiple-output logic functions and its applications to functional decomposition. In William H. Joyner Jr., Grant Martin, Andrew B. Kahng, editors, Proceedings of the 42nd Design Automation Conference, DAC 2005, San Diego, CA, USA, June 13-17, 2005. pages 373-378, ACM, 2005. [doi]
Abstract is missing.