Contradiction separation based dynamic multi-clause synergized automated deduction

Yang Xu
, J. Liu
, Shuwei Chen
, Xiaomei Zhong
, Xingxing He

Southwest Jiaotong University

Research output: Contribution to journal › Article › peer-review

32 Citations (Scopus)

316 Downloads (Pure)

1 results
- Last Name(descending)

Jun Liu
- j.liuulster.acuk
- School of Computing - Professor of Artificial Intelligence
- Faculty Of Computing, Eng. & Built Env. - Full Professor
- Computer Science and Informatics Research
Person: Academic