A constructive proof of the Lovász local lemma.

Published in: STOC (2009)

Keyphrases

proof planning
theorem prover
linear logic
computer vision
case study
johnson lindenstrauss
learning algorithm
natural language
object recognition
artificial neural networks
probabilistic model
mathematical proofs