Order:
Order
- 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.details
- New local search methods for partial MaxSAT.Shaowei Cai, Chuan Luo, Jinkun Lin & Kaile Su - 2016 - Artificial Intelligence 240 (C):1-18.details
- Local search for Boolean Satisfiability with configuration checking and subscore.Shaowei Cai & Kaile Su - 2013 - Artificial Intelligence 204 (C):75-98.details
- 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.details
- 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.details
- 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.details
- Old techniques in new ways: Clause weighting, unit propagation and hybridization for maximum satisfiability.Shaowei Cai & Zhendong Lei - 2020 - Artificial Intelligence 287 (C):103354.details
- 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.details
|
Off-campus access
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:
Email
|
RSS feed
|
|