Robin A. Moser

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