西南交通大学教师主页 Xingxing He--Home-- Meng Wang, Xingxing He*, Jun Liu: A Learned Clause Deletion Strategy Based on Distance Ratio. ISKE 2019: 248-252

Current position: Home > Research > Paper Publications

Paper Publications

Meng Wang, Xingxing He*, Jun Liu: A Learned Clause Deletion Strategy Based on Distance Ratio. ISKE 2019: 248-252

Translation or Not:no

Pre One:Meng Wang, Xingxing He*: 一种基于加权决策变量决策层的分支策略 (Branching Strategy Based on Weighted Decision Variable Level). 计算机科学 46(11A): 19-22 (2019)

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

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

Meng Wang, Xingxing He*, Jun Liu: A Learned Clause Deletion Strategy Based on Distance Ratio. ISKE 2019: 248-252