@misc{indiciae9699f6c9944e,
  title = {Towards a Complexity-theoretic Understanding of Restarts in SAT solvers},
  author = {Chunxiao Li and Noah Fleming and Marc Vinyals and Toniann Pitassi and Vijay Ganesh},
  year = {2020},
  url = {https://arxiv.org/abs/2003.02323},
  note = {Source identifier: 2003.02323}
}