Some synergized clause selection strategies for contradiction separation based automated deduction

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

3 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Some synergized clause selection strategies for contradiction separation based automated deduction'. Together they form a unique fingerprint.

Computer Science