TY  - RPRT
TI  - Prioritized Unit Propagation with Periodic Resetting is (Almost) All You Need for Random SAT Solving
AU  - Xujie Si
AU  - Yujia Li
AU  - Vinod Nair
AU  - Felix Gimeno
PY  - 2019
UR  - https://arxiv.org/abs/1912.05906
ID  - 1912.05906
ER  -