An Algorithmic Proof of the Lovász Local Lemma via Resampling Oracles.

Nicholas J. A. Harvey Jan Vondrák

Published in: SIAM J. Comput. (2020)

Keyphrases

linear logic
active learning
test cases
real time
data sets
theorem proving
theorem prover
proof planning
database
automated theorem proving
importance sampling
hypothesis testing
monte carlo
markov chain
logic programs
probabilistic model
mobile robot
relational databases
case study