https://5dok.org/document/y6e07xp5-relaxations-applicable-integer-predictive-control-comparisons-efficient-computations.html