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

Current position: Home > Research > Paper Publications

Paper Publications

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)

Translation or Not:no

Pre One:Yingfang Li, Xingxing He*, Keyun Qin, Dan Meng: Three constructive methods for the definition of interval-valued fuzzy equivalencies. Fuzzy Sets Syst. 322: 70-85 (2017)

Next One: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

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

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)