TY  - RPRT
TI  - Verified Certificates via SAT and Computer Algebra Systems for the Ramsey $R(3, 8)$ and $R(3, 9)$ Problems
AU  - Zhengyu Li
AU  - Conor Duggan
AU  - Curtis Bright
AU  - Vijay Ganesh
PY  - 2025
DO  - 10.24963/ijcai.2025/292
UR  - https://arxiv.org/abs/2502.06055
ID  - 2502.06055
ER  -