New Algorithms for #2-SAT and #3-SAT

Peng et al. "New Algorithms for #2-SAT and #3-SAT." International Joint Conference on Artificial Intelligence, 2025. doi:10.24963/IJCAI.2025/297

[Peng et al. "New Algorithms for #2-SAT and #3-SAT." International Joint Conference on Artificial Intelligence, 2025.](https://mlanthology.org/ijcai/2025/peng2025ijcai-new/) doi:10.24963/IJCAI.2025/297

@inproceedings{peng2025ijcai-new,
  title     = {{New Algorithms for #2-SAT and #3-SAT}},
  author    = {Peng, Junqiang and Sheng, Zimo and Xiao, Mingyu},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2025},
  pages     = {2666-2674},
  doi       = {10.24963/IJCAI.2025/297},
  url       = {https://mlanthology.org/ijcai/2025/peng2025ijcai-new/}
}