BDD representation for incompletely specifiedvmultiple-output logic functions and its applications to functional decomposition.

Tsutomu Sasao, Munehiro Matsuura

Browse the full DAC paper archive.