MDD-based synthesis of multi-valued logic networks | IEEE Conference Publication | IEEE Xplore