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

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

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