ILP with no objective function - techniques to check feasibility only?

Hi, I am interested in techniques that can prove that an integer linear program has no solutions. I am just looking at feasibility and have no objective function to maximize etc. This is part of...

01 March 2019 8,444 4 View