西南交通大学教师主页 Xingxing He--Home-- Shuwei Chen, Yang Xu, Yan Jiang, Jun Liu, Xingxing He: Some synergized clause selection strategies for contradiction separation based automated deduction. ISKE 2017: 1-6

Current position: Home > Research > Paper Publications

Paper Publications

Shuwei Chen, Yang Xu, Yan Jiang, Jun Liu, Xingxing He: Some synergized clause selection strategies for contradiction separation based automated deduction. ISKE 2017: 1-6

Translation or Not:no

Pre One:Qingshan Chen, Yang Xu, Jun Liu, Xingxing He: A Logical Deduction Based Clause Learning Algorithm for Boolean Satisfiability Problems. Int. J. Comput. Intell. Syst. 10(1): 824-834 (2017)

Next One:Qingshan Chen, Yang Xu, Guanfeng Wu, Xingxing He*: Conflicting rate based branching heuristic for CDCL SAT solvers. ISKE 2017: 1-5

Xingxing He

Alma Mater:Southwest Jiaotong University School/Department:数学学院 Business Address:Intelligent Control Development Center, Southwest Jiaotong University,Chengdu 610031, Sichuan, PR China

Home

Research

Teaching

Receive Honor

Awards and Honours

Enrollment

Student Information

My Album

Blog

Paper Publications

Shuwei Chen, Yang Xu, Yan Jiang, Jun Liu, Xingxing He: Some synergized clause selection strategies for contradiction separation based automated deduction. ISKE 2017: 1-6