@misc{indiciaea86a1be46af9,
  title = {SAT and Lattice Reduction for Integer Factorization},
  author = {Yameen Ajani and Curtis Bright},
  year = {2024},
  doi = {10.1145/3666000.3669712},
  url = {https://arxiv.org/abs/2406.20071},
  note = {Source identifier: 2406.20071}
}