Short proofs of some extremal results III.

David Conlon Jacob Fox Benny Sudakov

Published in: Random Struct. Algorithms (2020)

Keyphrases

graph theory
data sets
theorem proving
data structure
social networks
computer vision
video sequences
theorem prover
formal proofs
maximally stable