An Algorithmic Proof of the Lovasz Local Lemma via Resampling Oracles.

Nicholas J. A. Harvey Jan Vondrák

Published in: FOCS (2015)

Keyphrases

theorem prover
active learning
test cases
mathematical proofs
computer vision
image processing
johnson lindenstrauss
database
artificial intelligence
feature space
upper bound
theorem proving
importance sampling
natural deduction
geometry theorem proving