ByNobleID
    BDD representation for incompletely specified multiple-output logic functions and its applications to functional decomposition | NobleID