TY  - RPRT
TI  - On CDCL-based proof systems with the ordered decision strategy
AU  - Nathan Mull
AU  - Shuo Pang
AU  - Alexander Razborov
PY  - 2019
UR  - https://arxiv.org/abs/1909.04135
ID  - 1909.04135
ER  -