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

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

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