Wenhui Zhang

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

1 paper in the IJCAI proceedings

IJCAI 2019

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

with Pei Huang, Minghao Liu, Ping Wang, Feifei Ma, Jian Zhang

doi:10.24963/ijcai.2019/153

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings