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

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

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)