Meng Wang, Xingxing He, Jun Liu 0001. A Learned Clause Deletion Strategy Based on Distance Ratio. In Li Zou, Lingling Fang, Bo Fu, Panpan Niu, editors, 14th IEEE International Conference on Intelligent Systems and Knowledge Engineering, ISKE 2019, Dalian, China, November 14-16, 2019. pages 248-252, IEEE, 2019. [doi]