https://9lib.org/document/q2n0x24p-introduction-application-polyblock-method-special-integer-constrained-problem.html