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

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

Browse the full IJCAI paper archive.