Overall Complexity Certification of a Standard Branch and Bound Method for Mixed-Integer Quadratic Programming. - Shamisa Shoja; Daniel Arnström; Daniel Axehill (ACC, 2022)

Exact Complexity Certification of a Standard Branch and Bound Method for Mixed-Integer Linear Programming. - Shamisa Shoja; Daniel Arnström; Daniel Axehill (CDC, 2022)

Exact Complexity Certification of Start Heuristics in Branch-and-Bound Methods for Mixed-Integer Linear Programming. - Shamisa Shoja; Daniel Axehill (CDC, 2023)

A Unifying Complexity-Certification Framework for Branch-and-Bound Algorithms for Mixed-Integer Linear and Quadratic Programming. - Shamisa Shoja; Daniel Arnström; Daniel Axehill (CoRR, 2025)

Parallel Domain-Decomposition Algorithms for Complexity Certification of Branch-and-Bound Algorithms for Mixed-Integer Linear and Quadratic Programming. - Shamisa Shoja; Daniel Arnström; Daniel Axehill (CoRR, 2025)