Pei Huang, Minghao Liu, Ping Wang, Wenhui Zhang, Feifei Ma, Jian Zhang 0001. Solving the Satisfiability Problem of Modal Logic S5 Guided by Graph Coloring. In Sarit Kraus, editor, Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, IJCAI 2019, Macao, China, August 10-16, 2019. pages 1093-1100, ijcai.org, 2019. [doi]
Abstract is missing.