Short proofs of some extremal results II.

David Conlon Jacob Fox Benny Sudakov

Published in: J. Comb. Theory, Ser. B (2016)

Keyphrases

graph theory
multiscale
formal proofs
database
genetic algorithm
image processing
decision trees
natural language
preprocessing
maximally stable