On Complexity Certification of Branch-And-Bound Methods for MILP and MIQP with Applications to Hybrid MPC. - Shoja, Shamisa. (Linköping Studies in Science and Technology. Licentiate Thesis Series, 2023)