Login / Signup
An alternative proof for the constructive Asymmetric Lovász Local Lemma.
Ioannis Giotis
Lefteris M. Kirousis
Kostas I. Psaromiligkos
Dimitrios M. Thilikos
Published in:
CoRR (2015)
Keyphrases
</>
theorem proving
preprocessing
proof planning
database
feature selection
decision trees
multiscale
image retrieval
relational databases
probabilistic model
theorem prover
johnson lindenstrauss