On Regularity Lemmas and their Algorithmic Applications.

Jacob Fox László Miklós Lovász Yufei Zhao

Published in: Comb. Probab. Comput. (2017)

Keyphrases

theorem proving
theorem prover
databases
information retrieval
artificial intelligence
image processing
pattern recognition
probability distribution
management system
first order logic