Conf

Towards faster local search for minimum weight vertex cover on massive graphs Inf. Sci. 471: 64-79 (2019)

Shaowei Cai, Yuanjie Li, Wenying Hou, Haoran Wang

Towards more efficient meta-heuristic algorithms for combinatorial test generation ESEC/SIGSOFT FSE 2019: 212-222

Jinkun Lin, Shaowei Cai, Chuan Luo, Qingwei Lin, Hongyu Zhang

A Fast Local Search Algorithm for Minimum Weight Dominating Set Problem on Massive Graphs. IJCAI 2018: 1514-1522

Yiyuan Wang, Shaowei Cai, Jiejiang Chen, Minghao Yin

An Automatic Proving Approach to Parameterized Verification Log. 19(4): 27:1-27:25 (2018)

Yongjian Li, Kaiqiang Duan, David N. Jansen, Jun Pang, Lijun Zhang, Yi Lv, Shaowei Cai

Efficient zonal diagnosis with maximum satisfiability 61(11): 112101:1-112101:14 (2018)

Meng Liu, Dantong Ouyang, Shaowei Cai, Liming Zhang

FPGA Acceleration to Solve Maximum Clique Problems Encoded into Partial MaxSAT MCSoC 2018: 217-224

Kenji Kanazawa, Shaowei Cai

Improving Local Search for Minimum Weight Vertex Cover by Dynamic Strategies IJCAI 2018: 1412-1418

Shaowei Cai, Wenying Hou, Jinkun Lin, Yuanjie Li

New heuristic approaches for maximum balanced biclique problem 432: 362-375 (2018)

Yiyuan Wang, Shaowei Cai, Minghao Yin

NuMWVC: A Novel Local Search for Minimum Weighted Vertex Cover Problem

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

Solving (Weighted) Partial MaxSAT by Dynamic Local Search for SAT 1346-1352

Zhendong Lei, Shaowei Cai

A Reduction based Method for Coloring Very Large Graphs

Jinkun Lin, Shaowei Cai, Chuan Luo, Kaile Su

An Efficient Local Search Algorithm for Minimum Weighted Vertex Cover on Massive Graphs. SEAL 2017: 145-157

Yuanjie Li, Shaowei Cai, Wenying Hou

An efficient local search algorithm for the winner determination problem J. Heuristics 23(5): 367-396 (2017)

Haochen Zhang, Shaowei Cai, Chuan Luo, Minghao Yin

CCEHC: An Efficient Local Search Algorithm for Weighted Partial Maximum Satisfiability (Extended Abstract). IJCAI 2017: 5030-5034

Chuan Luo, Shaowei Cai, Kaile Su, Wenxuan Huang

Finding A Small Vertex Cover in Massive Sparse Graphs: Construct, Local Search and Preprocess

Shaowei Cai, Jinkun Lin, Chuan Luo

From Decimation to Local Search and Back: A New Approach to MaxSAT 2017: 571-577

Shaowei Cai, Chuan Luo, Haochen Zhang

Local Search for Minimum Weight Dominating Set with Two-Level Configuration Checking and Frequency Based Scoring Function.

Yiyuan Wang, Shaowei Cai, Minghao Yin

Turbo-Charging Dominating Set with an FPT Subroutine: Further Improvements and Experimental Analysis. TAMC 2017: 59-70

Faisal N. Abu-Khzam, Shaowei Cai, Judith Egan, Peter Shaw, Kai Wang

A novel approach to parameterized verification of cache coherence protocols ICCD 2016: 560-567

Yongjian Li, Kaiqiang Duan, Yi Lv, Jun Pang, Shaowei Cai

An FPGA Solver for Partial MaxSAT Problems Based on Stochastic Local Search SIGARCH Comput. Archit. News 44(4): 32-37 (2016)

Shohei Sassa, Kenji Kanazawa, Shaowei Cai, Moritoshi Yasunaga