Xutong Ma

State Key Laboratory of Computer Science , ISCAS; University of Chinese Academy of Sciences

1 paper in the IJCAI proceedings

IJCAI 2019

Approximating Integer Solution Counting via Space Quantification for Linear Constraints

with Cunjing Ge, Feifei Ma, Fan Zhang, Pei Huang, Jian Zhang

doi:10.24963/ijcai.2019/235

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings