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]
@inproceedings{ZengXWC21,
title = {Improving CSE-F 1.0 Prover with Importance Measure Based Literal Selection Strategy},
author = {Guoyan Zeng and Yang Xu and Guanfeng Wu and Feng Cao},
year = {2021},
doi = {10.1109/ISKE54062.2021.9755379},
url = {https://doi.org/10.1109/ISKE54062.2021.9755379},
researchr = {https://researchr.org/publication/ZengXWC21},
cites = {0},
citedby = {0},
pages = {47-51},
booktitle = {16th International Conference on Intelligent Systems and Knowledge Engineering, ISKE 2021, Chengdu, China, November 26-28, 2021},
editor = {Shuwei Chen and Jie Hu 0007 and Tianrui Li 0001 and Luís Martínez 0001 and Jun Liu},
publisher = {IEEE},
isbn = {978-1-6654-0553-9},
}