Certificates
收藏官方服务：
资源简介：
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
社区交流群
科研交流群
商业服务