@conference {DBLP:conf/aaai/Duggan0BG24,
	title = {A SAT + Computer Algebra System Verification of the Ramsey Problem <em>R</em>(3, 8) (Student Abstract)},
	booktitle = {Thirty-Eighth AAAI Conference on Artificial Intelligence, AAAI 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, IAAI 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, February 20-},
	year = {2024},
	pages = {23480{\textendash}23481},
	publisher = {AAAI Press},
	organization = {AAAI Press},
	doi = {10.1609/AAAI.V38I21.30437},
	url = {https://doi.org/10.1609/aaai.v38i21.30437},
	author = {Conor Duggan and Zhengyu Li and Curtis Bright and Vijay Ganesh},
	editor = {Michael J. Wooldridge and Jennifer G. Dy and Sriraam Natarajan}
}
