Statistics of Certificates of linear mixed integer infeasibility

Contact ORBi