Numerical Comparison of IP Formulations as ML Decoders | IEEE Conference Publication | IEEE Xplore