@misc{indiciae31ccbc9f2077,
  title = {Verified Certificates via SAT and Computer Algebra Systems for the Ramsey \$R(3, 8)\$ and \$R(3, 9)\$ Problems},
  author = {Zhengyu Li and Conor Duggan and Curtis Bright and Vijay Ganesh},
  year = {2025},
  doi = {10.24963/ijcai.2025/292},
  url = {https://arxiv.org/abs/2502.06055},
  note = {Source identifier: 2502.06055}
}