Olaf Parczyk

1 papers · 2023–2023 · 1 conference · across top CS/AI conferences

Achievements

🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🐝 Cross-Pollinator (15)

Conferences

AAAI (1)

Top co-authors

Sebastian Pokutta (1) Christoph Spiegel (1) Tibor Szabó (1)

Keywords

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

Papers

Fully Computer-Assisted Proofs in Extremal Combinatorics AAAI 2023