• Click:

Current position: Home  >  Research  >  Paper Publications

Paper Publications

Qinghua Liu, Yang Xu, Xingxing He*: New terms metric based on substitutions. ISKE 2017: 1-6

Translation or Not:no

Pre One:Qingshan Chen, Yang Xu, Guanfeng Wu, Xingxing He*: Conflicting rate based branching heuristic for CDCL SAT solvers. ISKE 2017: 1-5

Next One:Yingfang Li, Keyun Qin, Xingxing He*, Dan Meng: Properties of Raha's similarity-based approximate reasoning method. Fuzzy Sets Syst. 294: 48-62 (2016)

Xingxing He

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

The Last Update Time:--

Copyright © 2019 Southwest Jiaotong University.All Rights Reserved . ICP reserve 05026985
Address：999 Xi'an Road, Pidu District, Chengdu, Sichuan, China
 Chuangongnet Anbei 510602000061
Technical support: Office of Information Technology and network management