Numerical Comparison of IP Formulations as ML Decoders Akin Tanatmis 1 Co-authors: Stefan Ruzika 1 , Mayur Punekar 2 , Frank Kienle 2 University of Kaiserslautern 1 Department of Mathematics, Optimization group, 2 Microelectronic systems design research group March 5, 2010