Zeev Nutov Daniel Reichman Approximating maximum satisfiable subsystems of linear equations of bounded width. 203-207 2008 106 Inf. Process. Lett. 5 http://dx.doi.org/10.1016/j.ipl.2007.11.011 db/journals/ipl/ipl106.html#NutovR08