A constructive proof of the general lovász local lemma
Journal of the ACM
Gábor Tardos
Inapproximability for antiferromagnetic spin systems in the tree non-uniqueness region