@misc{indiciaeb3903a1651c0,
  title = {A novel weighting scheme for random \$k\$-SAT},
  author = {Zongsheng Gao and Jun Liu and Ke Xu},
  year = {2013},
  url = {https://arxiv.org/abs/1310.4303},
  note = {Source identifier: 1310.4303}
}