@conference {DBLP:conf/issac/AjaniB24,
	title = {SAT and Lattice Reduction for Integer Factorization},
	booktitle = {Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation, ISSAC 2024, Raleigh, NC, USA, July 16-19, 2024},
	year = {2024},
	pages = {391{\textendash}399},
	publisher = {ACM},
	organization = {ACM},
	doi = {10.1145/3666000.3669712},
	url = {https://doi.org/10.1145/3666000.3669712},
	author = {Yameen Ajani and Curtis Bright},
	editor = {Jonathan D. Hauenstein and Wen-shin Lee and Shaoshi Chen}
}
