Lift, Partition, and Project: Parametric Complexity Certification of Active-Set QP Methods in the Presence of Numerical Errors | IEEE Conference Publication | IEEE Xplore