Ping Wang

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

2 papers in the IJCAI proceedings

IJCAI 2019

Solving the Satisfiability Problem of Modal Logic S5 Guided by Graph Coloring

with Pei Huang, Minghao Liu, Wenhui Zhang, Feifei Ma, Jian Zhang

doi:10.24963/ijcai.2019/153

Details PDF

IJCAI 2017

Hierarchical Feature Selection with Recursive Regularization

with Hong Zhao, Pengfei Zhu, Qinghua Hu

doi:10.24963/ijcai.2017/487

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings