Junqiang Peng 0001, Zimo Sheng, Mingyu Xiao 0001. New Algorithms for #2-SAT and #3-SAT. In Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2025, Montreal, Canada, August 16-22, 2025. pages 2666-2674, ijcai.org, 2025. [doi]
Abstract is missing.