Travelled to:
1 × United Kingdom
Collaborated with:
∅
Talks about:
derandom (1) uniqu (1) ppsz (1) sat (1)
Person: Daniel Rolf
DBLP: Rolf:Daniel
Contributed to:
Wrote 1 papers:
- SAT-2005-Rolf #satisfiability
- Derandomization of PPSZ for Unique- k-SAT (DR), pp. 216–225.