The following publications are possibly variants of this publication:
- Contradiction separation based dynamic multi-clause synergized automated deductionYang Xu 0001, Jun Liu 0001, Shuwei Chen, Xiaomei Zhong, Xingxing He. isci, 462:93-113, 2018. [doi]
- Some synergized clause selection strategies for contradiction separation based automated deductionShuwei Chen, Yang Xu 0001, Yan Jiang, Jun Liu, Xingxing He. iske 2017: 1-6 [doi]
- A multi-clause dynamic deduction algorithm based on standard contradiction separation ruleFeng Cao, Yang Xu 0001, Jun Liu 0001, Shuwei Chen, JianBing Yi. isci, 566:281-299, 2021. [doi]
- Fully reusing clause deduction algorithm based on standard contradiction separation rulePeiyao Liu, Yang Xu 0001, Jun Liu 0001, Shuwei Chen, Feng Cao, Guanfeng Wu. isci, 622:337-356, April 2023. [doi]
- A Contradiction Separation Dynamic Deduction Algorithm Based on Optimized Proof SearchFeng Cao, Yang Xu 0001, Shuwei Chen, Jian Zhong, Guanfeng Wu. ijcisys, 12(2):1245-1254, 2019. [doi]
- Active Deduction Heuristic Algorithm of Standard Contradiction Separation Rule Based on Reinforcement LearningJian Zhong, Peiyao Liu, Shuwei Chen 0001. iske 2023: 426-430 [doi]
- A complementary ratio based clause selection method for contradiction separation dynamic deductionGuoyan Zeng, Shuwei Chen 0001, Jun Liu 0001, Yang Xu 0001, Peiyao Liu. kbs, 284:111238, 2024. [doi]