Conf

Extended Conjunctive Normal Form and An Efficient Algorithm for Cardinality Constraints. IJCAI 2020: 1141-1147

Zhendong Lei, Shaowei Cai, Chuan Luo

Local Search with Dynamic-Threshold Configuration Checking and Incremental Neighborhood Updating for Maximum k-plex Problem

Peilin Chen, Hai Wan, Shaowei Cai, Jia Li, Haicheng Chen

NLocalSAT: Boosting Local Search with Solution Prediction

Wenjie Zhang, Zeyu Sun, Qihao Zhu, Ge Li, Shaowei Cai, Yingfei Xiong, Lu Zhang

NLocalSAT: Boosting Local Search with Solution Prediction

Wenjie Zhang, Zeyu Sun, Qihao Zhu, Ge Li, Shaowei Cai, Yingfei Xiong, Lu Zhang

NuCDS: An Efficient Local Search Algorithm for Minimum Connected Dominating Set. IJCAI 2020: 1503-1510

Bohan Li, Xindi Zhang, Shaowei Cai, Jinkun Lin, Yiyuan Wang, Christian Blum

NuDist: An Efficient Local Search Algorithm for (Weighted) Partial MaxSAT Comput. J. 63(9): 1321-1337 (2020)

Zhendong Lei, Shaowei Cai

NuMWVC: A novel local search for minimum weighted vertex cover problem Oper. Res. Soc. 71(9): 1498-1509 (2020)

Ruizhi Li, Shuli Hu, Shaowei Cai, Jian Gao, Yiyuan Wang, Minghao Yin

Old techniques in new ways: Clause weighting, unit propagation and hybridization for maximum satisfiability. Artif. Intell. 287: 103354 (2020)

Shaowei Cai, Zhendong Lei

PbO-CCSAT: Boosting Local Search for Satisfiability Using Programming by Optimisation PPSN (1) 2020: 373-389

Chuan Luo, Holger H. Hoos, Shaowei Cai

Pure MaxSAT and Its Applications to Combinatorial Optimization via Linear Local Search. CP 2020: 90-106

Shaowei Cai, Xindi Zhang

Reduction and Local Search for Weighted Graph Coloring Problem

Yiyuan Wang, Shaowei Cai, Shiwei Pan, Ximing Li, Minghao Yin

SCCWalk: An efficient local search algorithm and its improvements for maximum weight clique problem. Artif. Intell. 280: 103230 (2020)

Yiyuan Wang, Shaowei Cai, Jiejiang Chen, Minghao Yin

Solving Set Cover and Dominating Set via Maximum Satisfiability

Zhendong Lei, Shaowei Cai

Two-goal Local Search and Inference Rules for Minimum Dominating Set 2020: 1467-1473

Shaowei Cai, Wenying Hou, Yiyuan Wang, Chuan Luo, Qingwei Lin

WCA: A weighting local search for constrained combinatorial test optimization Inf. Softw. Technol. 122: 106288 (2020)

Yingjie Fu, Zhendong Lei, Shaowei Cai, Jinkun Lin, Haoran Wang

A set of new multi- and many-objective test problems for continuous optimization and a comprehensive experimental evaluation. Artif. Intell. 276: 105-129 (2019)

Yuren Zhou, Xiaoyu He, Yi Xiang, Shaowei Cai

Combining Reinforcement Learning and Configuration Checking for Maximum k-plex Problem.

Peilin Chen, Hai Wan, Shaowei Cai, Weilin Luo, Jia Li

Constrained maximum weighted bipartite matching: a novel approach to radio broadcast scheduling. Sci. China Inf. Sci. 62(7): 72102:1-72102:14 (2019)

Shaojiang Wang, Tianyong Wu, Yuan Yao, Dongbo Bu, Shaowei Cai

Empirical investigation of stochastic local search for maximum satisfiability Frontiers Comput. Sci. 13(1): 86-98 (2019)

Yi Chu, Chuan Luo, Shaowei Cai, Haihang You

Local Search with Efficient Automatic Configuration for Minimum Vertex Cover IJCAI 2019: 1297-1304

Chuan Luo, Holger H. Hoos, Shaowei Cai, Qingwei Lin, Hongyu Zhang, Dongmei Zhang