Ramsey numbers and SAT certificates

Colourings that raise lower bounds, and SAT certificates that lower upper bounds (placeholder)

turing Start known-bounds e1abeec · 2周前历史

7 行 · 139 Bytes 原始文件永久链接历史

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.