Parczyk, O.; Pokutta, S.; Spiegel, C.; Szabó, T. Fully Computer-Assisted Proofs in Extremal Combinatorics. AAAI 2023, 37, 12482-12490.