Zhenghang Xu

1 paper in the IJCAI proceedings

IJCAI 2026

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

with Minghao Yin, Junping Zhou, Jean-Marie Lagniez

doi:10.24963/ijcai.2026/268

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings