Junping Zhou

School of Information Science and Technology , Northeast Normal University , Changchun , China; Key Laboratory of Applied Statistics of MOE , Northeast Normal University , Changchun , China

2 papers in the IJCAI proceedings

IJCAI 2026

gDMC: A Generic Distributed Model Counting Framework via Work-Stealing

with Zhenghang Xu, Minghao Yin, Jean-Marie Lagniez

doi:10.24963/ijcai.2026/268

Details PDF

IJCAI 2022

AllSATCC: Boosting AllSAT Solving with Efficient Component Analysis

with Jiaxin Liang, Feifei Ma, Minghao Yin

doi:10.24963/ijcai.2022/259

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings