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:
CTW (2015)
Keyphrases
</>
theorem proving
artificial intelligence
special case
data sets
multimedia
hidden markov models
face detection
theorem prover