- Local search with edge weighting and configuration checking heuristics for minimum vertex cover.Shaowei Cai, Kaile Su & Abdul Sattar - 2011 - Artificial Intelligence 175 (9-10):1672-1696.
- New local search methods for partial MaxSAT.Shaowei Cai, Chuan Luo, Jinkun Lin & Kaile Su - 2016 - Artificial Intelligence 240 (C):1-18.
- Local search for Boolean Satisfiability with configuration checking and subscore.Shaowei Cai & Kaile Su - 2013 - Artificial Intelligence 204 (C):75-98.
- SCCWalk: An efficient local search algorithm and its improvements for maximum weight clique problem.Yiyuan Wang, Shaowei Cai, Jiejiang Chen & Minghao Yin - 2020 - Artificial Intelligence 280 (C):103230.
- CCEHC: An efficient local search algorithm for weighted partial maximum satisfiability.Chuan Luo, Shaowei Cai, Kaile Su & Wenxuan Huang - 2017 - Artificial Intelligence 243 (C):26-44.
- Improved local search for the minimum weight dominating set problem in massive graphs by using a deep optimization mechanism.Jiejiang Chen, Shaowei Cai, Yiyuan Wang, Wenhao Xu, Jia Ji & Minghao Yin - 2023 - Artificial Intelligence 314 (C):103819.
- Old techniques in new ways: Clause weighting, unit propagation and hybridization for maximum satisfiability.Shaowei Cai & Zhendong Lei - 2020 - Artificial Intelligence 287 (C):103354.
- A set of new multi- and many-objective test problems for continuous optimization and a comprehensive experimental evaluation.Yuren Zhou, Xiaoyu He, Yi Xiang & Shaowei Cai - 2019 - Artificial Intelligence 276 (C):105-129.
Using PhilPapers from home?
Create an account to enable off-campus access through your institution's proxy server.
Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it: