Conor Duggan, Zhengyu Li 0002, Curtis Bright, Vijay Ganesh. A SAT + Computer Algebra System Verification of the Ramsey Problem R(3, 8) (Student Abstract). In Michael J. Wooldridge, Jennifer G. Dy, Sriraam Natarajan, editors, Thirty-Eigth 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-27, 2024, Vancouver, Canada. pages 23480-23481, AAAI Press, 2024. [doi]
@inproceedings{Duggan0BG24,
title = {A SAT + Computer Algebra System Verification of the Ramsey Problem R(3, 8) (Student Abstract)},
author = {Conor Duggan and Zhengyu Li 0002 and Curtis Bright and Vijay Ganesh},
year = {2024},
doi = {10.1609/aaai.v38i21.30437},
url = {https://doi.org/10.1609/aaai.v38i21.30437},
researchr = {https://researchr.org/publication/Duggan0BG24},
cites = {0},
citedby = {0},
pages = {23480-23481},
booktitle = {Thirty-Eigth 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-27, 2024, Vancouver, Canada},
editor = {Michael J. Wooldridge and Jennifer G. Dy and Sriraam Natarajan},
publisher = {AAAI Press},
}