conftrace_

flag algebra

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

extremal combinatorics (1) extremal graph theory (1) computer-assisted proof (1) ramsey theory (1) combinatorial optimization (1)

Papers

Fully Computer-Assisted Proofs in Extremal Combinatorics AAAI 2023