@conference {DBLP:conf/scsquare/AjaniB23,
	title = {A Hybrid SAT and Lattice Reduction Approach for Integer Factorization},
	booktitle = {Proceedings of the 8th SC-Square Workshop co-located with the 48th International Symposium on Symbolic and Algebraic Computation, SC-Square@ISSAC 2023, Troms{\o}, Norway, July 28, 2023},
	series = {CEUR Workshop Proceedings},
	volume = {3455},
	year = {2023},
	pages = {39{\textendash}43},
	publisher = {CEUR-WS.org},
	organization = {CEUR-WS.org},
	url = {https://ceur-ws.org/Vol-3455/short1.pdf},
	author = {Yameen Ajani and Curtis Bright},
	editor = {Erika {\'A}brah{\'a}m and Thomas Sturm}
}
