Combinatorial multi-parametric quadratic programming with saturation matrix based pruning | IEEE Conference Publication | IEEE Xplore