QUBO Formulations for MIP Symmetry Detection — Alexander While, Chen Chen | Kutubxona