Certificates of linear mixed integer infeasibility. - Andersen, Kent; Louveaux, Quentin; Weismantel, Robert (Oper. Res. Lett., 2008)