A complementary ratio based clause selection method for contradiction separation dynamic deduction.

Mon, 01 Jan 2024 00:00:00 +0100

Guoyan Zeng , Shuwei Chen , Jun Liu , Yang Xu, Peiyao Liu :
A complementary ratio based clause selection method for contradiction separation dynamic deduction. Knowl. Based Syst. 284: 111238 (2024)