西南交通大学教师主页 Xingxing He--Home-- Huimin Fu, Yang Xu, Guanfeng Wu, Jun Liu, Shuwei Chen, Xingxing He: Emphasis on the flipping variable: Towards effective local search for hard random satisfiability. Inf. Sci. 566: 118-139 (2021)

Current position: Home > Research > Paper Publications

Paper Publications

Huimin Fu, Yang Xu, Guanfeng Wu, Jun Liu, Shuwei Chen, Xingxing He: Emphasis on the flipping variable: Towards effective local search for hard random satisfiability. Inf. Sci. 566: 118-139 (2021)

Translation or Not:no

Pre One:Xingxing He*, Yang Xu, Yingfang Li, Jun Liu, Luis Martínez-López, Da Ruan: alpha-Satisfiability and alpha-Lock Resolution for a Lattice-Valued Logic LP(X). HAIS (2) 2010: 320-327

Next One:Yingfang Li, Xingxing He*, Keyun Qin, Dan Meng: Some notes on optimal fuzzy reasoning methods. Inf. Sci. 503: 652-669 (2019)

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

Huimin Fu, Yang Xu, Guanfeng Wu, Jun Liu, Shuwei Chen, Xingxing He: Emphasis on the flipping variable: Towards effective local search for hard random satisfiability. Inf. Sci. 566: 118-139 (2021)