@misc{indiciae659f0b04f9e7,
  title = {On CDCL-based proof systems with the ordered decision strategy},
  author = {Nathan Mull and Shuo Pang and Alexander Razborov},
  year = {2019},
  url = {https://arxiv.org/abs/1909.04135},
  note = {Source identifier: 1909.04135}
}