@misc{indiciaec653fa795f35,
  title = {Prioritized Unit Propagation with Periodic Resetting is (Almost) All You Need for Random SAT Solving},
  author = {Xujie Si and Yujia Li and Vinod Nair and Felix Gimeno},
  year = {2019},
  url = {https://arxiv.org/abs/1912.05906},
  note = {Source identifier: 1912.05906}
}