西南交通大学教师主页 Xingxing He--Home-- Guanfeng Wu, Qingshan Chen, Yang Xu, Xingxing He*: A Hybrid Learnt Clause Evaluation Algorithm for SAT Problem. Int. J. Comput. Intell. Syst. 12(1): 250-258 (2018)

Current position: Home > Research > Paper Publications

Paper Publications

Guanfeng Wu, Qingshan Chen, Yang Xu, Xingxing He*: A Hybrid Learnt Clause Evaluation Algorithm for SAT Problem. Int. J. Comput. Intell. Syst. 12(1): 250-258 (2018)

Translation or Not:no

Pre One:Yang Xu, Jun Liu, Xingxing He, Xiaomei Zhong, Shuwei Chen: Non-Clausal Multi-ary α-Generalized Resolution Calculus for a Finite Lattice-Valued Logic. Int. J. Comput. Intell. Syst. 11(1): 384-401 (2018)

Next One:Yang Xu, Jun Liu, Shuwei Chen, Xiaomei Zhong, Xingxing He: Contradiction separation based dynamic multi-clause synergized automated deduction. Inf. Sci. 462: 93-113 (2018)

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

Guanfeng Wu, Qingshan Chen, Yang Xu, Xingxing He*: A Hybrid Learnt Clause Evaluation Algorithm for SAT Problem. Int. J. Comput. Intell. Syst. 12(1): 250-258 (2018)