DRAT证明中对称破缺的表示
本页面将提供我们CADE-25论文中提供的证据和工具。
拉姆齐四号
CNF公式
防漏（气泡分类）
防DRAT（Batcher’s Merge-Exchange）
鄂尔多斯差异推测
CNF公式
DRAT证明
防漏（修剪）
每孔两只鸽子
6:CNF公式 防DRAT 优化DRAT证明
7:CNF公式 DRAT证明 优化DRAT证明
8:CNF公式 DRAT证明 优化的DRAT验证
9:CNF公式 DRAT证明 优化DRAT证明
10:CNF公式 DRAT证明 优化DRAT证明
11:CNF公式 DRAT证明（拉链）优化DRAT证明
12:CNF公式 DRAT证明（拉链）优化DRAT证明
校对工具
DRAT微调，请访问主页下载和使用。
这个zip文件包含用于验证ACL2中DRAT证明的文件。