An algorithm for the multi-level minimization of Reed-Muller representations | IEEE Conference Publication | IEEE Xplore