Fully Computer-Assisted Proofs in Extremal Combinatorics.

Olaf Parczyk, Sebastian Pokutta, Christoph Spiegel, Tibor Szab

Browse the full AAAI paper archive.