Some synergized clause selection strategies for contradiction separation based automated deduction.

Shuwei Chen, Yang Xu, Yan Jiang, Jun Liu, Xingxing He

Browse the full ISKE paper archive.