Fully reusing clause deduction algorithm based on standard contradiction separation rule

Peiyao Liu, Yang Xu, J. Liu, Shuwei Chen, Feng Cao, Guanfeng Wu

Research output: Contribution to journalArticlepeer-review

1 Citation (Scopus)
1 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Fully reusing clause deduction algorithm based on standard contradiction separation rule'. Together they form a unique fingerprint.

Computer Science