Robin A. Moser
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| A constructive proof of the Lovász local lemma Proceedings of the forty-first annual ACM symposium on Theory of computing | 2015-02-04 | Paper |
| A full derandomization of Schöning's \(k\)-\textsc{SAT} algorithm Proceedings of the forty-third annual ACM symposium on Theory of computing | 2014-06-05 | Paper |
| Vectors in a box Mathematical Programming. Series A. Series B | 2012-10-15 | Paper |
| Improving PPSZ for 3-SAT using critical variables | 2012-01-23 | Paper |
| Improving PPSZ for 3-SAT using critical variables (available as arXiv preprint) | 2012-01-23 | Paper |
| Not All Saturated 3-Forests Are Tight | 2011-09-15 | Paper |
| A constructive proof of the general Lovász local lemma Journal of the ACM | 2010-07-14 | Paper |
| The Lovász Local Lemma and Satisfiability Lecture Notes in Computer Science | 2009-11-12 | Paper |
Research outcomes over time
This page was built for person: Robin A. Moser
