Matteo Fischetti Andrea Lodi Repairing MIP infeasibility through local branching. 1436-1445 2008 35 Computers & OR 5 http://dx.doi.org/10.1016/j.cor.2006.08.004 db/journals/cor/cor35.html#FischettiL08