Robin A. Moser

Publication Activity (10 Years)

Years Active: 2008-2016
Publications (10 Years): 1

Top Topics

Lower Dimensional

Backtracking Search

Simulated Annealing

Constraint Satisfaction

Top Venues

Ausgezeichnete Informatikdissertationen

ETH Zurich (PHD)

Education History

ETH Zurich

PHD

Publications

Timon Hertli, Isabelle Hurbain, Sebastian Millius, Robin A. Moser, Dominik Scheder, May Szedlák
The PPSZ Algorithm for Constraint Satisfaction Problems on More Than Two Colors. CP (2016)
Kevin Buchin, Jirí Matousek, Robin A. Moser, Dömötör Pálvölgyi
Vectors in a box. Math. Program. 135 (1-2) (2012)
Robin A. Moser
Exakte Algorithmen für Erfüllbarkeitsprobleme. Ausgezeichnete Informatikdissertationen (2012)
Timon Hertli, Robin A. Moser, Dominik Scheder
Improving PPSZ for 3-SAT using Critical Variables. STACS (2011)
Heidi Gebauer, Anna Gundert, Robin A. Moser, Yoshio Okamoto
Not All Saturated 3-Forests Are Tight CoRR (2011)
Robin A. Moser, Dominik Scheder
A full derandomization of schöning's k-SAT algorithm. STOC (2011)
Robin A. Moser, Dominik Scheder
A Full Derandomization of Schoening's k-SAT Algorithm CoRR (2010)
Timon Hertli, Robin A. Moser, Dominik Scheder
Improving PPSZ for 3-SAT using Crtitical Variables CoRR (2010)
Robin A. Moser, Gábor Tardos
A constructive proof of the general lovász local lemma. J. ACM 57 (2) (2010)
Robin A. Moser, Gábor Tardos
A constructive proof of the general Lovasz Local Lemma CoRR (2009)
Robin A. Moser
A constructive proof of the Lovász local lemma. STOC (2009)
Heidi Gebauer, Robin A. Moser, Dominik Scheder, Emo Welzl
The Lovász Local Lemma and Satisfiability. Efficient Algorithms (2009)
Robin A. Moser
Derandomizing the Lovasz Local Lemma more effectively CoRR (2008)
Robin A. Moser
A constructive proof of the Lovasz Local Lemma CoRR (2008)