The following publications are possibly variants of this publication:
- 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]
- Extending E Prover with Fully Use Binary Clauses Algorithm Based on Standard Contradiction Separation RulePeiyao Liu, Guanfeng Wu, Yang Xu, Feng Cao. iske 2021: 11-14 [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]
- 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]
- An efficient contradiction separation based automated deduction algorithm for enhancing reasoning capabilityPeiyao Liu, Shuwei Chen, Jun Liu, Yang Xu 0001, Feng Cao, Guanfeng Wu. kbs, 261:110217, 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]