@misc{indiciaeb6d75253fef1,
  title = {New Algorithms for \#2-SAT and \#3-SAT},
  author = {Junqiang Peng and Zimo Sheng and Mingyu Xiao},
  year = {2025},
  url = {https://arxiv.org/abs/2507.14504},
  note = {Source identifier: 2507.14504}
}