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

Current position: Home > Research > Paper Publications

Paper Publications

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)

Translation or Not:no

Pre One: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)

Next 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)

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

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)