MODD: a new decision diagram and representation for multiple output binary functions | IEEE Conference Publication | IEEE Xplore