blog:main:mixed_integer_linear_programming