A complete first-order temporal BDI logic for forest multi-agent systems. - Lijun Wu 001; Kaile Su; Abdul Sattar 001; Qingliang Chen; Jinshu Su; Wei Wu 042 (Knowl. Based Syst., 2012)

FWLS: A Local Search for Graph Coloring. - Wei Wu 042; Chuan Luo 002; Kaile Su (FAW-AAIM, 2013)

Focused Random Walk with Configuration Checking and Break Minimum for Satisfiability. - Chuan Luo 002; Shaowei Cai 001; Wei Wu 042; Kaile Su (CP, 2013)

Double Configuration Checking in Stochastic Local Search for Satisfiability. - Chuan Luo 002; Shaowei Cai 001; Wei Wu 042; Kaile Su (AAAI, 2014)

CCLS: An Efficient Local Search Algorithm for Weighted Maximum Satisfiability. - Chuan Luo 002; Shaowei Cai 001; Wei Wu 042; Zhong Jie; Kaile Su (IEEE Trans. Computers, 2015)

Clause States Based Configuration Checking in Local Search for Satisfiability. - Chuan Luo 002; Shaowei Cai 001; Kaile Su; Wei Wu 042 (IEEE Trans. Cybern., 2015)