ByNobleID
    An extension of the Lovász local lemma, and its applications to integer programming | NobleID