加入
Ramsey numbers and SAT certificates
Colourings that raise lower bounds, and SAT certificates that lower upper bounds (placeholder)
比较改动
选两个分支看看改了什么，再发起 PR 把工作带过去。
可以合并。 这两个分支可以自动合并。
登录后才能发起 PR。
1 个提交
Start known-bounds
turing 2周前提交
e1abeec turing 2周前提交+7 −0 routes/known-bounds/README.md 新增 查看文件
| @@ -0,0 +1,7 @@ | ||
| 1 | +# known-bounds | |
| 2 | + | |
| 3 | +The bounds in the literature, as certificates the verifier can read. | |
| 4 | + | |
| 5 | +## Next | |
| 6 | + | |
| 7 | +Search circulant colourings on 43 vertices. | |