6 search results - page 2 / 2 » An improvement of the Moser-Tardos algorithmic local lemma |
SIAMCOMP
2010
13 years 4 months ago
2010
The classical direct product theorem for circuits says that if a Boolean function f : {0, 1}n → {0, 1} is somewhat hard to compute on average by small circuits, then the correspo...