TY  - RPRT
TI  - SAT and Lattice Reduction for Integer Factorization
AU  - Yameen Ajani
AU  - Curtis Bright
PY  - 2024
DO  - 10.1145/3666000.3669712
UR  - https://arxiv.org/abs/2406.20071
ID  - 2406.20071
ER  -