C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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