Implementing a multiple-valued decision diagram package | IEEE Conference Publication | IEEE Xplore