https://123dok.net/document/y4w4w6m5-enumerating-dominated-vectors-multiple-objective-integer-linear-programming.html