The Covering Radius of the Reed-Muller Code $RM(m-4,m)$ in $RM(m-3,m)$

Randall Dougherty, R. Daniel Mauldin, Mark Tiefenbruck

We present methods for computing the distance from a Boolean polynomial on $m$ variables of degree $m-3$ (i.e., a member of the Reed-Muller code $RM(m-3,m)$) to the space of lower-…