@misc{indiciae108df077e590,
  title = {A Full Derandomization of Schoening's k-SAT Algorithm},
  author = {Robin A. Moser and Dominik Scheder},
  year = {2010},
  url = {https://arxiv.org/abs/1008.4067},
  note = {Source identifier: 1008.4067}
}