Title: A tree searching method for solving integer linear inequalities
Subjects: Algorithms, Computer programming