Yameen Ajani, Curtis Bright. A Hybrid SAT and Lattice Reduction Approach for Integer Factorization. In Erika Ábrahám, Thomas Sturm 0001, editors, 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. Volume 3455 of CEUR Workshop Proceedings, pages 39-43, CEUR-WS.org, 2023. [doi]
Abstract is missing.