Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| The Ppsz Algorithm For Constraint Satisfaction Problems On More Than Two Colors | 0 | 0.34 | 2016 |
| Vectors in a box. | 2 | 0.41 | 2012 |
| Not All Saturated 3-Forests Are Tight | 0 | 0.34 | 2011 |
| A full derandomization of schöning's k-SAT algorithm | 27 | 1.09 | 2011 |
| Improving PPSZ for 3-SAT using Critical Variables | 8 | 0.63 | 2010 |
| A constructive proof of the Lovász local lemma | 51 | 2.49 | 2009 |
| A constructive proof of the general lovász local lemma | 137 | 5.51 | 2009 |
| The Lovász Local Lemma and Satisfiability | 7 | 0.48 | 2009 |
| Derandomizing the Lovasz Local Lemma more effectively | 8 | 1.23 | 2008 |