A Hybrid SAT and Lattice Reduction Approach for Integer Factorization. - Yameen Ajani; Curtis Bright (SC-Square@ISSAC, 2023)

SAT and Lattice Reduction for Integer Factorization. - Yameen Ajani; Curtis Bright (ISSAC, 2024)