2025年5月18日
2025参赛版本说明
摘要： 以下是参赛求解器的说明（代码放在博客文件栏目）： kissat_scavel2025——在前人的kissat-sc2024-d776b9e1.tar.xz基础上改进得到。​​Modern SAT solvers exhibit well-established core components pre 阅读全文
posted @ 2025-05-18 13:52 海阔凭鱼跃越 阅读(37) 评论(0) 推荐(0)