The Lovász local Lemma and satisfiability

Thumbnail
Metadata only
Author
Gebauer, Heidi
Moser, Robin A.
Scheder, Dominik
Welzl, Emo
Show all
Date
2009
Type
    Book Chapter
Publication status
published
External links
Search print copy at ETH Library
Editor
Albers, Susanne
Alt, Helmut
Näher, Stefan
Book title
Efficient algorithms
Journal / series
Lecture Notes in Computer Science
Volume
5760
Pages / Article No.
30 - 54
Publisher
Springer
More
Show all metadata
ETH Bibliography
yes
Altmetrics