TY  - RPRT
TI  - A Full Derandomization of Schoening's k-SAT Algorithm
AU  - Robin A. Moser
AU  - Dominik Scheder
PY  - 2010
UR  - https://arxiv.org/abs/1008.4067
ID  - 1008.4067
ER  -