Y. Ajani and Bright, C. , “A Hybrid SAT and Lattice Reduction Approach for Integer Factorization”, in Proceedings of the 8th SC-Square Workshop co-located with the 48th International Symposium on Symbolic and Algebraic Computation, SC-Square@ISSAC 2023, Tromsø, Norway, July 28, 2023, 2023, vol. 3455, pp. 39–43.