Jian Zhong, Feng Cao, Guanfeng Wu, Yang Xu 0001, Jun Liu. Multi-clause synergized contradiction separation based first-order theorem prover - MC-SCS. In Tianrui Li, Luis Martínez-López, Yun Li, editors, 12th International Conference on Intelligent Systems and Knowledge Engineering, ISKE 2017, Nanjing, China, November 24-26, 2017. pages 1-6, IEEE, 2017. [doi]
Abstract is missing.