


Остановите войну!
for scientists:
Shaowei Cai
Person information

- affiliation: Chinese Academy of Sciences, State Key Laboratory of Computer Science
- affiliation: Peking University, Key Laboratory of High Confidence Software Technologies
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2021
- [j33]Xindi Zhang, Bohan Li
, Shaowei Cai, Yiyuan Wang:
Efficient Local Search based on Dynamic Connectivity Maintenance for Minimum Connected Dominating Set. J. Artif. Intell. Res. 71: 89-119 (2021) - [j32]Shaowei Cai, Jinkun Lin, Yiyuan Wang, Darren Strash
:
A Semi-exact Algorithm for Quickly Computing A Maximum Weight Clique in Large Sparse Graphs. J. Artif. Intell. Res. 72: 39-67 (2021) - [c49]Chuan Luo, Pu Zhao, Chen Chen, Bo Qiao, Chao Du, Hongyu Zhang, Wei Wu, Shaowei Cai, Bing He, Saravanakumar Rajmohan, Qingwei Lin:
PULNS: Positive-Unlabeled Learning with Effective Negative Sample Selector. AAAI 2021: 8784-8792 - [c48]Jiejiang Chen, Shaowei Cai, Shiwei Pan, Yiyuan Wang, Qingwei Lin, Mengyu Zhao, Minghao Yin:
NuQClq: An Effective Local Search Algorithm for Maximum Quasi-Clique Problem. AAAI 2021: 12258-12266 - [c47]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:
Correlation-Aware Heuristic Search for Intelligent Virtual Machine Provisioning in Cloud Systems. AAAI 2021: 12363-12372 - [c46]Shaowei Cai
, Chuan Luo
, Xindi Zhang
, Jian Zhang
:
Improving Local Search for Structured SAT Formulas via Unit Propagation Based Construct and Cut Initialization (Short Paper). CP 2021: 5:1-5:10 - [c45]Bohan Li
, Kai Wang, Yiyuan Wang
, Shaowei Cai
:
Improving Local Search for Minimum Weighted Connected Dominating Set Problem by Inner-Layer Local Search. CP 2021: 39:1-39:16 - [c44]Jinkun Lin, Shaowei Cai, Bing He, Yingjie Fu, Chuan Luo, Qingwei Lin:
FastCA: An Effective and Efficient Tool for Combinatorial Covering Array Generation. ICSE (Companion Volume) 2021: 77-80 - [c43]Chuan Luo, Jinkun Lin, Shaowei Cai, Xin Chen, Bing He, Bo Qiao
, Pu Zhao, Qingwei Lin, Hongyu Zhang
, Wei Wu, Saravanakumar Rajmohan, Dongmei Zhang:
AutoCCAG: An Automated Approach to Constrained Covering Array Generation. ICSE 2021: 201-212 - [c42]Shaowei Cai, Xindi Zhang
:
Deep Cooperation of CDCL and Local Search for SAT. SAT 2021: 64-81 - [c41]Zhendong Lei, Shaowei Cai, Chuan Luo, Holger H. Hoos:
Efficient Local Search for Pseudo Boolean Optimization. SAT 2021: 332-348 - [i5]Minghao Liu, Fuqi Jia, Pei Huang, Fan Zhang, Yuchen Sun, Shaowei Cai, Feifei Ma, Jian Zhang:
Can Graph Neural Networks Learn to Solve MaxSAT Problem? CoRR abs/2111.07568 (2021) - 2020
- [j31]Yiyuan Wang
, Shaowei Cai
, Jiejiang Chen, Minghao Yin:
SCCWalk: An efficient local search algorithm and its improvements for maximum weight clique problem. Artif. Intell. 280: 103230 (2020) - [j30]Shaowei Cai
, Zhendong Lei:
Old techniques in new ways: Clause weighting, unit propagation and hybridization for maximum satisfiability. Artif. Intell. 287: 103354 (2020) - [j29]Zhendong Lei, Shaowei Cai
:
NuDist: An Efficient Local Search Algorithm for (Weighted) Partial MaxSAT. Comput. J. 63(9): 1321-1337 (2020) - [j28]Yingjie Fu, Zhendong Lei, Shaowei Cai
, Jinkun Lin, Haoran Wang:
WCA: A weighting local search for constrained combinatorial test optimization. Inf. Softw. Technol. 122: 106288 (2020) - [j27]Yi Chu
, Boxiao Liu, Shaowei Cai
, Chuan Luo, Haihang You:
An efficient local search algorithm for solving maximum edge weight clique problem in large graphs. J. Comb. Optim. 39(4): 933-954 (2020) - [j26]Ruizhi Li, Shuli Hu, Shaowei Cai
, Jian Gao
, Yiyuan Wang, Minghao Yin:
NuMWVC: A novel local search for minimum weighted vertex cover problem. J. Oper. Res. Soc. 71(9): 1498-1509 (2020) - [c40]Zhendong Lei, Shaowei Cai:
Solving Set Cover and Dominating Set via Maximum Satisfiability. AAAI 2020: 1569-1576 - [c39]Peilin Chen, Hai Wan, Shaowei Cai, Jia Li, Haicheng Chen:
Local Search with Dynamic-Threshold Configuration Checking and Incremental Neighborhood Updating for Maximum k-plex Problem. AAAI 2020: 2343-2350 - [c38]Yiyuan Wang, Shaowei Cai, Shiwei Pan, Ximing Li, Minghao Yin:
Reduction and Local Search for Weighted Graph Coloring Problem. AAAI 2020: 2433-2441 - [c37]Shaowei Cai
, Xindi Zhang
:
Pure MaxSAT and Its Applications to Combinatorial Optimization via Linear Local Search. CP 2020: 90-106 - [c36]Zhendong Lei, Shaowei Cai
, Chuan Luo:
Extended Conjunctive Normal Form and An Efficient Algorithm for Cardinality Constraints. IJCAI 2020: 1141-1147 - [c35]Wenjie Zhang
, Zeyu Sun, Qihao Zhu, Ge Li, Shaowei Cai
, Yingfei Xiong, Lu Zhang:
NLocalSAT: Boosting Local Search with Solution Prediction. IJCAI 2020: 1177-1183 - [c34]Shaowei Cai
, Wenying Hou, Yiyuan Wang, Chuan Luo, Qingwei Lin:
Two-goal Local Search and Inference Rules for Minimum Dominating Set. IJCAI 2020: 1467-1473 - [c33]Bohan Li
, Xindi Zhang
, Shaowei Cai
, Jinkun Lin, Yiyuan Wang, Christian Blum
:
NuCDS: An Efficient Local Search Algorithm for Minimum Connected Dominating Set. IJCAI 2020: 1503-1510 - [c32]Chuan Luo, Holger H. Hoos, Shaowei Cai
:
PbO-CCSAT: Boosting Local Search for Satisfiability Using Programming by Optimisation. PPSN (1) 2020: 373-389 - [c31]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:
Efficient incident identification from multi-dimensional issue reports via meta-heuristic search. ESEC/SIGSOFT FSE 2020: 292-303 - [i4]Wenjie Zhang, Zeyu Sun, Qihao Zhu, Ge Li, Shaowei Cai, Yingfei Xiong, Lu Zhang:
NLocalSAT: Boosting Local Search with Solution Prediction. CoRR abs/2001.09398 (2020)
2010 – 2019
- 2019
- [j25]Yuren Zhou, Xiaoyu He, Yi Xiang, Shaowei Cai
:
A set of new multi- and many-objective test problems for continuous optimization and a comprehensive experimental evaluation. Artif. Intell. 276: 105-129 (2019) - [j24]Shaojiang Wang, Tianyong Wu, Yuan Yao, Dongbo Bu, Shaowei Cai:
Constrained maximum weighted bipartite matching: a novel approach to radio broadcast scheduling. Sci. China Inf. Sci. 62(7): 72102:1-72102:14 (2019) - [j23]Yi Chu
, Chuan Luo, Shaowei Cai
, Haihang You:
Empirical investigation of stochastic local search for maximum satisfiability. Frontiers Comput. Sci. 13(1): 86-98 (2019) - [j22]Shaowei Cai
, Yuanjie Li, Wenying Hou, Haoran Wang:
Towards faster local search for minimum weight vertex cover on massive graphs. Inf. Sci. 471: 64-79 (2019) - [c30]Chuan Luo, Holger H. Hoos, Shaowei Cai
, Qingwei Lin, Hongyu Zhang
, Dongmei Zhang:
Local Search with Efficient Automatic Configuration for Minimum Vertex Cover. IJCAI 2019: 1297-1304 - [c29]Jinkun Lin, Shaowei Cai
, Chuan Luo, Qingwei Lin, Hongyu Zhang
:
Towards more efficient meta-heuristic algorithms for combinatorial test generation. ESEC/SIGSOFT FSE 2019: 212-222 - [i3]Peilin Chen, Hai Wan, Shaowei Cai, Weilin Luo, Jia Li:
Combining Reinforcement Learning and Configuration Checking for Maximum k-plex Problem. CoRR abs/1906.02578 (2019) - 2018
- [j21]Meng Liu, Dantong Ouyang, Shaowei Cai, Liming Zhang
:
Efficient zonal diagnosis with maximum satisfiability. Sci. China Inf. Sci. 61(11): 112101:1-112101:14 (2018) - [j20]Yiyuan Wang, Shaowei Cai, Minghao Yin:
New heuristic approaches for maximum balanced biclique problem. Inf. Sci. 432: 362-375 (2018) - [j19]Yongjian Li
, Kaiqiang Duan, David N. Jansen
, Jun Pang, Lijun Zhang, Yi Lv, Shaowei Cai
:
An Automatic Proving Approach to Parameterized Verification. ACM Trans. Comput. Log. 19(4): 27:1-27:25 (2018) - [c28]Ruizhi Li, Shaowei Cai, Shuli Hu, Minghao Yin, Jian Gao:
NuMWVC: A Novel Local Search for Minimum Weighted Vertex Cover Problem. AAAI 2018: 8107-8108 - [c27]Zhendong Lei, Shaowei Cai
:
Solving (Weighted) Partial MaxSAT by Dynamic Local Search for SAT. IJCAI 2018: 1346-1352 - [c26]Shaowei Cai
, Wenying Hou, Jinkun Lin, Yuanjie Li:
Improving Local Search for Minimum Weight Vertex Cover by Dynamic Strategies. IJCAI 2018: 1412-1418 - [c25]Yiyuan Wang, Shaowei Cai
, Jiejiang Chen, Minghao Yin:
A Fast Local Search Algorithm for Minimum Weight Dominating Set Problem on Massive Graphs. IJCAI 2018: 1514-1522 - [c24]Kenji Kanazawa, Shaowei Cai
:
FPGA Acceleration to Solve Maximum Clique Problems Encoded into Partial MaxSAT. MCSoC 2018: 217-224 - 2017
- [j18]Chuan Luo, Shaowei Cai
, Kaile Su
, Wenxuan Huang:
CCEHC: An efficient local search algorithm for weighted partial maximum satisfiability. Artif. Intell. 243: 26-44 (2017) - [j17]Haochen Zhang, Shaowei Cai
, Chuan Luo, Minghao Yin:
An efficient local search algorithm for the winner determination problem. J. Heuristics 23(5): 367-396 (2017) - [j16]Yiyuan Wang, Shaowei Cai
, Minghao Yin:
Local Search for Minimum Weight Dominating Set with Two-Level Configuration Checking and Frequency Based Scoring Function. J. Artif. Intell. Res. 58: 267-295 (2017) - [j15]Shaowei Cai
, Jinkun Lin, Chuan Luo:
Finding A Small Vertex Cover in Massive Sparse Graphs: Construct, Local Search, and Preprocess. J. Artif. Intell. Res. 59: 463-494 (2017) - [c23]Jinkun Lin, Shaowei Cai
, Chuan Luo, Kaile Su
:
A Reduction based Method for Coloring Very Large Graphs. IJCAI 2017: 517-523 - [c22]Shaowei Cai
, Chuan Luo, Haochen Zhang:
From Decimation to Local Search and Back: A New Approach to MaxSAT. IJCAI 2017: 571-577 - [c21]Chuan Luo, Shaowei Cai
, Kaile Su, Wenxuan Huang:
CCEHC: An Efficient Local Search Algorithm for Weighted Partial Maximum Satisfiability (Extended Abstract). IJCAI 2017: 5030-5034 - [c20]Yiyuan Wang, Shaowei Cai
, Minghao Yin:
Local Search for Minimum Weight Dominating Set with Two-Level Configuration Checking and Frequency Based Scoring Function (Extended Abstract). IJCAI 2017: 5090-5094 - [c19]Yuanjie Li, Shaowei Cai
, Wenying Hou:
An Efficient Local Search Algorithm for Minimum Weighted Vertex Cover on Massive Graphs. SEAL 2017: 145-157 - [c18]Faisal N. Abu-Khzam, Shaowei Cai
, Judith Egan, Peter Shaw
, Kai Wang:
Turbo-Charging Dominating Set with an FPT Subroutine: Further Improvements and Experimental Analysis. TAMC 2017: 59-70 - [i2]Yiyuan Wang, Shaowei Cai, Minghao Yin:
Local Search for Minimum Weight Dominating Set with Two-Level Configuration Checking and Frequency Based Scoring Function. CoRR abs/1702.04594 (2017) - 2016
- [j14]Shaowei Cai
, Chuan Luo, Jinkun Lin, Kaile Su
:
New local search methods for partial MaxSAT. Artif. Intell. 240: 1-18 (2016) - [j13]Shohei Sassa, Kenji Kanazawa, Shaowei Cai
, Moritoshi Yasunaga:
An FPGA Solver for Partial MaxSAT Problems Based on Stochastic Local Search. SIGARCH Comput. Archit. News 44(4): 32-37 (2016) - [c17]Yiyuan Wang, Shaowei Cai, Minghao Yin:
Two Efficient Local Search Algorithms for Maximum Weight Clique Problem. AAAI 2016: 805-811 - [c16]Yongjian Li, Kaiqiang Duan, Yi Lv, Jun Pang, Shaowei Cai:
A novel approach to parameterized verification of cache coherence protocols. ICCD 2016: 560-567 - [c15]Shaowei Cai, Jinkun Lin:
Fast Solving Maximum Weight Clique Problem in Massive Graphs. IJCAI 2016: 568-574 - 2015
- [j12]Shaowei Cai
, Chuan Luo, Kaile Su
:
Improving WalkSAT By Effective Tie-Breaking and Efficient Implementation. Comput. J. 58(11): 2864-2875 (2015) - [j11]Shaowei Cai
, Zhong Jie, Kaile Su
:
An effective variable selection heuristic in SLS for weighted Max-2-SAT. J. Heuristics 21(3): 433-456 (2015) - [j10]Chuan Luo, Shaowei Cai
, Wei Wu, Zhong Jie, Kaile Su
:
CCLS: An Efficient Local Search Algorithm for Weighted Maximum Satisfiability. IEEE Trans. Computers 64(7): 1830-1843 (2015) - [j9]Chuan Luo, Shaowei Cai
, Kaile Su
, Wei Wu:
Clause States Based Configuration Checking in Local Search for Satisfiability. IEEE Trans. Cybern. 45(5): 1014-1027 (2015) - [j8]Lijun Wu, Kaile Su
, Shaowei Cai, Xiaosong Zhang, Chenyi Zhang
, Shupeng Wang:
An I/O Efficient Approach for Detecting All Accepting Cycles. IEEE Trans. Software Eng. 41(8): 730-744 (2015) - [j7]Lijun Wu, Huijia Huang, Kaile Su
, Shaowei Cai, Xiaosong Zhang:
An I/O Efficient Model Checking Algorithm for Large-Scale Systems. IEEE Trans. Very Large Scale Integr. Syst. 23(5): 905-915 (2015) - [c14]Shaowei Cai, Jinkun Lin, Kaile Su:
Two Weighting Local Search for Minimum Vertex Cover. AAAI 2015: 1107-1113 - [c13]Shaowei Cai:
Balance between Complexity and Quality: Local Search for Minimum Vertex Cover in Massive Graphs. IJCAI 2015: 747-753 - [c12]Jinkun Lin, Chuan Luo, Shaowei Cai
, Kaile Su
, Dan Hao, Lu Zhang:
TCA: An Efficient Two-Mode Meta-Heuristic Algorithm for Combinatorial Test Generation (T). ASE 2015: 494-505 - [c11]Shaowei Cai
, Chuan Luo, Kaile Su
:
CCAnr: A Configuration Checking Based Local Search Solver for Non-random Satisfiability. SAT 2015: 1-8 - 2014
- [j6]Chuan Luo, Kaile Su
, Shaowei Cai
:
More efficient two-mode stochastic local search for random 3-satisfiability. Appl. Intell. 41(3): 665-680 (2014) - [j5]Shaowei Cai
, Chuan Luo, Kaile Su
:
Scoring Functions Based on Second Level Score for k-SAT with Long Clauses. J. Artif. Intell. Res. 51: 413-441 (2014) - [c10]Shaowei Cai, Chuan Luo, John Thornton, Kaile Su:
Tailoring Local Search for Partial MaxSAT. AAAI 2014: 2623-2629 - [c9]Chuan Luo, Shaowei Cai, Wei Wu, Kaile Su:
Double Configuration Checking in Stochastic Local Search for Satisfiability. AAAI 2014: 2703-2709 - [i1]Shaowei Cai, Kaile Su, Chuan Luo, Abdul Sattar:
NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover. CoRR abs/1402.0584 (2014) - 2013
- [j4]Shaowei Cai
, Kaile Su
:
Local search for Boolean Satisfiability with configuration checking and subscore. Artif. Intell. 204: 75-98 (2013) - [j3]Fei Yan, Shaowei Cai, Ming Zhang, Guojun Liu, Zhi-Hong Deng:
A clique-superposition model for social networks. Sci. China Inf. Sci. 56(5): 1-19 (2013) - [j2]Shaowei Cai
, Kaile Su
, Chuan Luo, Abdul Sattar
:
NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover. J. Artif. Intell. Res. 46: 687-716 (2013) - [c8]Shaowei Cai, Kaile Su, Chuan Luo:
Improving WalkSAT for Random k-Satisfiability Problem with k > 3. AAAI 2013 - [c7]Chuan Luo, Shaowei Cai
, Wei Wu, Kaile Su
:
Focused Random Walk with Configuration Checking and Break Minimum for Satisfiability. CP 2013: 481-496 - [c6]Shaowei Cai, Kaile Su:
Comprehensive Score: Towards Efficient Local Search for SAT with Long Clauses. IJCAI 2013: 489-495 - 2012
- [c5]Shaowei Cai, Kaile Su:
Configuration Checking with Aspiration in Local Search for SAT. AAAI 2012 - [c4]Shaowei Cai, Kaile Su, Abdul Sattar:
Two New Local Search Strategies for Minimum Vertex Cover. AAAI 2012 - [c3]Chuan Luo, Kaile Su
, Shaowei Cai:
Improving Local Search for Random 3-SAT Using Quantitative Configuration Checking. ECAI 2012: 570-575 - 2011
- [j1]Shaowei Cai
, Kaile Su
, Abdul Sattar
:
Local search with edge weighting and configuration checking heuristics for minimum vertex cover. Artif. Intell. 175(9-10): 1672-1696 (2011) - [c2]Shaowei Cai
, Kaile Su
:
Local Search with Configuration Checking for SAT. ICTAI 2011: 59-66 - 2010
- [c1]Shaowei Cai, Kaile Su, Qingliang Chen:
EWLS: A New Local Search for Minimum Vertex Cover. AAAI 2010
Coauthor Index

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
Tweets on dblp homepage
Show tweets from on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter account. At the same time, Twitter will persistently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
last updated on 2022-04-11 22:49 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint