On the application of matrix congruence to QUBO formulations for systems of linear equations | IEEE Conference Publication | IEEE Xplore