ML Anthology
Authors
Search
About
Parczyk, Olaf
1 publications
AAAI
2023
Fully Computer-Assisted Proofs in Extremal Combinatorics
Olaf Parczyk
,
Sebastian Pokutta
,
Christoph Spiegel
,
Tibor Szabó