conftrace_

ramsey theory

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

combinatorial optimization (3) computer algebra (2) satisfiability solving (2) certificate verification (1) computer-assisted proof (1) extremal combinatorics (1) flag algebra (1) extremal graph theory (1) proof certificate (1) graph coloring (1)

Papers

Verified Certificates via SAT and Computer Algebra Systems for the Ramsey R(3,8) and R(3,9) Problems IJCAI 2025 A SAT + Computer Algebra System Verification of the Ramsey Problem R(3, 8) (Student Abstract) AAAI 2024 Fully Computer-Assisted Proofs in Extremal Combinatorics AAAI 2023