Wenhui Zhang

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