Correction to: Directed Lovász Local Lemma and Shearer’s Lemma (Annals of Mathematics and Artificial Intelligence, (2020), 88, 1-3, (133-155), 10.1007/s10472-019-09671-5)

Abstract

The proof of Theorem 1a of our article that appears in Annals of Mathematics and Artificial Intelligence 88(1–3):133-155 (2020) has a mistake. We give here the corrected proof, together with a new version of Definition 3 in that article that the correction necessitated. © 2020, Springer Nature Switzerland AG