Multiple-valued decision diagrams with symmetric variable nodes | IEEE Conference Publication | IEEE Xplore