Conf

Improving Local Search Algorithms via Probabilistic Configuration Checking AAAI 2022: 10283-10290

Weilin Luo, Rongzhen Ye, Hai Wan, Shaowei Cai, Biqing Fang, Delong Zhang

Improving Simulated Annealing for Clique Partitioning Problems Intell. Res. 74: 1485-1513 (2022)

Jian Gao, Yiqi Lv, Minghao Liu, Shaowei Cai, Feifei Ma

Local Search For Satisfiability Modulo Integer Arithmetic Theories (2022)

Shaowei Cai, Bohan Li, Xindi Zhang

Local Search for SMT on Linear Integer Arithmetic

Shaowei Cai, Bohan Li, Xindi Zhang

NukCP: An Improved Local Search Algorithm for Maximum k-Club Problem

Jiejiang Chen, Yiyuan Wang, Shaowei Cai, Minghao Yin, Yupeng Zhou, Jieyu Wu

SamplingCA: effective and efficient sampling-based pairwise testing for highly configurable software systems. ESEC/SIGSOFT FSE 2022: 1185-1197

Chuan Luo, Qiyuan Zhao, Shaowei Cai, Hongyu Zhang, Chunming Hu

A Semi-exact Algorithm for Quickly Computing A Maximum Weight Clique in Large Sparse Graphs. J. Artif. Intell. Res. 72: 39-67 (2021)

Shaowei Cai, Jinkun Lin, Yiyuan Wang, Darren Strash

AutoCCAG: An Automated Approach to Constrained Covering Array Generation ICSE 2021: 201-212

Chuan Luo, Jinkun Lin, Shaowei Cai, Xin Chen, Bing He, Bo Qiao, Pu Zhao, Qingwei Lin, Hongyu Zhang, Wei Wu, Saravanakumar Rajmohan, Dongmei Zhang

Can Graph Neural Networks Learn to Solve MaxSAT Problem?

Minghao Liu, Fuqi Jia, Pei Huang, Fan Zhang, Yuchen Sun, Shaowei Cai, Feifei Ma, Jian Zhang

Correlation-Aware Heuristic Search for Intelligent Virtual Machine Provisioning in Cloud Systems

Chuan Luo, Bo Qiao, Wenqian Xing, Xin Chen, Pu Zhao, Chao Du, Randolph Yao, Hongyu Zhang, Wei Wu, Shaowei Cai, Bing He, Saravanakumar Rajmohan, Qingwei Lin

Deep Cooperation of CDCL and Local Search for SAT

Shaowei Cai, Xindi Zhang

Efficient Local Search based on Dynamic Connectivity Maintenance for Minimum Connected Dominating Set. J. Artif. Intell. Res. 71: 89-119 (2021)

Xindi Zhang, Bohan Li, Shaowei Cai, Yiyuan Wang

Efficient Local Search for Pseudo Boolean Optimization

Zhendong Lei, Shaowei Cai, Chuan Luo, Holger H. Hoos

FastCA: An Effective and Efficient Tool for Combinatorial Covering Array Generation ICSE (Companion Volume) 2021: 77-80

Jinkun Lin, Shaowei Cai, Bing He, Yingjie Fu, Chuan Luo, Qingwei Lin

Improving Local Search for Minimum Weighted Connected Dominating Set Problem by Inner-Layer Local Search. CP 2021: 39:1-39:16

Bohan Li, Kai Wang, Yiyuan Wang, Shaowei Cai

Improving Local Search for Structured SAT Formulas via Unit Propagation Based Construct and Cut Initialization (Short Paper). CP 2021: 5:1-5:10

Shaowei Cai, Chuan Luo, Xindi Zhang, Jian Zhang

NuQClq: An Effective Local Search Algorithm for Maximum Quasi-Clique Problem AAAI 2021: 12258-12266

Jiejiang Chen, Shaowei Cai, Shiwei Pan, Yiyuan Wang, Qingwei Lin, Mengyu Zhao, Minghao Yin

PULNS: Positive-Unlabeled Learning with Effective Negative Sample Selector AAAI 2021: 8784-8792

Chuan Luo, Pu Zhao, Chen Chen, Bo Qiao, Chao Du, Hongyu Zhang, Wei Wu, Shaowei Cai, Bing He, Saravanakumar Rajmohan, Qingwei Lin

An efficient local search algorithm for solving maximum edge weight clique problem in large graphs. J. Comb. Optim. 39(4): 933-954 (2020)

Yi Chu, Boxiao Liu, Shaowei Cai, Chuan Luo, Haihang You

Efficient incident identification from multi-dimensional issue reports via meta-heuristic search. ESEC/SIGSOFT FSE 2020: 292-303

Jiazhen Gu, Chuan Luo, Si Qin, Bo Qiao, Qingwei Lin, Hongyu Zhang, Ze Li, Yingnong Dang, Shaowei Cai, Wei Wu, Yangfan Zhou, Murali Chintalapati, Dongmei Zhang