Certificates
收藏Zenodo2025-11-19 更新2026-05-26 收录
下载链接：
https://zenodo.org/doi/10.5281/zenodo.17645677
下载链接
链接失效反馈官方服务：
资源简介：
Certificates of unsatisfiability for GR(k) walks with a(k) steps, for 3 <= k <= 6. Proofs were generated in DRAT format using CaDiCaL version 2.1.3 and verified with DRAT-trim.
提供机构：
Zenodo创建时间：
2025-11-19
