Peng, Junqiang

4 publications

AAAI 2025 Improved Approximation Algorithms for Clustered TSP and Subgroup Planning Jingyang Zhao, Mingyu Xiao, Junqiang Peng, Ziliang Xiong

IJCAI 2025 New Algorithms for #2-SAT and #3-SAT Junqiang Peng, Zimo Sheng, Mingyu Xiao

IJCAI 2024 A Fast Algorithm for MaxSAT Above Half Number of Clauses Junqiang Peng, Mingyu Xiao

IJCAI 2023 Fast Algorithms for SAT with Bounded Occurrences of Variables Junqiang Peng, Mingyu Xiao