Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:  derive a certificate of integral infeasibility for linear systems with equations and inequalities by generating algebraically an outer description of a lattice point free polyhedron that contains the given integer infeasible system. The extension to the mixed integer setting is also derived.
['Kent Andersen', 'Quentin Louveaux', 'Robert Weismantel']
I am writing a research paper on a idea Certificates of linear mixed integer infeasibility
[{"from": "human", "value": "I am writing a research paper on a idea Certificates of linear mixed integer infeasibility"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:  derive a certificate of integral infeasibility for linear systems with equations and inequalities by generating algebraically an outer description of a lattice point free polyhedron that contains the given integer infeasible system. The extension to the mixed integer setting is also derived."}]