conftrace_

certificate verification

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

ramsey theory (1) computer algebra (1) graph coloring (1) satisfiability solving (1) combinatorial optimization (1)

Papers

Verified Certificates via SAT and Computer Algebra Systems for the Ramsey R(3,8) and R(3,9) Problems IJCAI 2025