西南交通大学教师主页 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

Associate Professor

Supervisor of Master's Candidates

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

Recommended MA Supervisor 》

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