A new algorithm approach to the general Lovász local lemma with applications to scheduling and satisfiability problems (extended abstract)

Artur Czumaj, Christian Scheideler. A new algorithm approach to the general Lovász local lemma with applications to scheduling and satisfiability problems (extended abstract). In STOC. pages 38-47, 2000. [doi]

Abstract

Abstract is missing.