meddium
Если Вам нужно решить задачу --- воспользуйте любым пакетом СКМ, например, Maple (алгоритм решения указывается, так что можно взять на вооружение), там есть процедуры для целочисленного программирования.
Относительно алгоритма: вот 
книга, целиком посвященная этой проблеме.
Относительно глобальности: исследуйте область на замкнутость. Накладываются ли на  

 условия положительности;  

 --- константы что-ли?