Junqiang Peng

4 papers in the IJCAI proceedings

IJCAI 2026

The Complexity of Tournament Fixing: Subset FAS Number and Acyclic Neighborhoods

with Yuxi Liu, Mingyu Xiao

doi:10.24963/ijcai.2026/389

Details PDF

IJCAI 2025

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

with Zimo Sheng, Mingyu Xiao

doi:10.24963/ijcai.2025/297

Details PDF

IJCAI 2024

A Fast Algorithm for MaxSAT above Half Number of Clauses

with Mingyu Xiao

doi:10.24963/ijcai.2024/214

Details PDF

IJCAI 2023

Fast Algorithms for SAT with Bounded Occurrences of Variables

with Mingyu Xiao

doi:10.24963/ijcai.2023/223

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings