Artur Czumaj, Christian Scheideler
A new algorithm approach to the general Lovász local lemma with applications to scheduling and satisfiability problems
STOC, 2000.
@inproceedings{STOC-2000-CzumajS,
author = "Artur Czumaj and Christian Scheideler",
booktitle = "{Proceedings of the 32nd Annual ACM Symposium on Theory of Computing}",
doi = "10.1145/335305.335310",
isbn = "1-58113-184-4",
pages = "38--47",
publisher = "{ACM}",
title = "{A new algorithm approach to the general Lovász local lemma with applications to scheduling and satisfiability problems}",
year = 2000,
}











