conftrace_

computer-assisted proof

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

extremal graph theory (1) extremal combinatorics (1) flag algebra (1) ramsey theory (1) combinatorial optimization (1)

Papers

Fully Computer-Assisted Proofs in Extremal Combinatorics AAAI 2023