TY  - RPRT
TI  - Towards a Complexity-theoretic Understanding of Restarts in SAT solvers
AU  - Chunxiao Li
AU  - Noah Fleming
AU  - Marc Vinyals
AU  - Toniann Pitassi
AU  - Vijay Ganesh
PY  - 2020
UR  - https://arxiv.org/abs/2003.02323
ID  - 2003.02323
ER  -