A Simple Algorithmic Proof of the Symmetric Lopsided Lovász Local Lemma.

Lefteris M. Kirousis John Livieratos

Published in: CoRR (2016)

Keyphrases

data sets
theorem proving
neural network
information systems
database systems
bayesian networks
object recognition
preprocessing
evolutionary algorithm
johnson lindenstrauss