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, }