A Tree Search Approach for Maximum-Likelihood Decoding of Reed-Muller Codes | IEEE Conference Publication | IEEE Xplore