Guoyan Zeng, Yang Xu, Guanfeng Wu, Feng Cao. Improving CSE-F 1.0 Prover with Importance Measure Based Literal Selection Strategy. In Shuwei Chen, Jie Hu 0007, Tianrui Li 0001, Luís Martínez 0001, Jun Liu, editors, 16th International Conference on Intelligent Systems and Knowledge Engineering, ISKE 2021, Chengdu, China, November 26-28, 2021. pages 47-51, IEEE, 2021. [doi]
Abstract is missing.