An Algorithmic Proof of the Lopsided Lovasz Local Lemma.

Nicholas J. A. Harvey Jan Vondrák

Published in: CoRR (2015)

Keyphrases

real time
johnson lindenstrauss
mathematical proofs
three dimensional
linear logic
information technology
inference rules
theorem prover
theorem proving
wireless sensor networks
geometry theorem proving
proof theory
feature space
computer science
decision making
genetic algorithm
neural network