Fast algorithm for minimizing Reed-Muller expansions of systems of incompletely specified MVL functions | IEEE Conference Publication | IEEE Xplore