A Learned Clause Deletion Strategy Based on Distance Ratio - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. It may be one of the following persons:

Meng Wang

Look up 'Meng Wang' in GoogleThis author has not been identified. Look up 'Xingxing He' in GoogleThis author has not been identified. Look up 'Jun Liu 0001' in Google

runs on WebDSL