• Click:

Current position: Home  >  Research  >  Paper Publications

Paper Publications

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

Translation or Not:no

Pre One:Xingxing He*, Yang Xu, Jun Liu, Da Ruan: alpha-resolution method for a lattice-valued first-order logic. Eng. Appl. Artif. Intell. 24(7): 1274-1280 (2011)

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

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