@misc{indiciaeec90dea4e317,
  title = {Further Improvements for SAT in Terms of Formula Length},
  author = {Junqiang Peng and Mingyu Xiao},
  year = {2022},
  url = {https://arxiv.org/abs/2105.06131},
  note = {Source identifier: 2105.06131}
}