"Certificates of linear mixed integer infeasibility."

Kent Andersen, Quentin Louveaux, Robert Weismantel (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics