Travelled to:2 × USA
Collaborated with:D.Scheder ∅
Talks about:construct (1) algorithm (1) schöning (1) derandom (1) lovász (1) proof (1) local (1) lemma (1) full (1) sat (1)
Person: Robin A. Moser
DBLP: Moser:Robin_A=
Contributed to:
20112009Wrote 2 papers:
- STOC-2011-MoserS #algorithm #satisfiability
- A full derandomization of schöning’s k-SAT algorithm (RAM, DS), pp. 245–252.
- STOC-2009-Moser #proving
- A constructive proof of the Lovász local lemma (RAM), pp. 343–350.