TY  - RPRT
TI  - Designing New Phase Selection Heuristics
AU  - Arijit Shaw
AU  - Kuldeep S. Meel
PY  - 2020
UR  - https://arxiv.org/abs/2005.04850
ID  - 2005.04850
ER  -