1
Introduction
2
Sym2
3
Bron–Kerbosch Algorithm
4
SimpleGraph
5
Inequalities
6
Ramsey Theory
Dependency graph
Towards Closing the Trust Gap in the SAT Certification of Ramsey Numbers R(3,8) and R(3,9)
Cruise Song David E. Narvaez
1
Introduction
2
Sym2
3
Bron–Kerbosch Algorithm
4
SimpleGraph
5
Inequalities
6
Ramsey Theory