Jiaqi Li

School of Information Science and Technology , Northeast Normal University , China

1 paper in the IJCAI proceedings

IJCAI 2026

Towards Cardinality-Aware Local Search for SAT with Cardinality Constraints

with Shuli Hu, Dian Ling, Minghao Yin

doi:10.24963/ijcai.2026/251

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings