Shaowei Cai

ORCID

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 74

Top Venues

IJCAI

AAAI

CoRR

J. Artif. Intell. Res.

Publications

Huimin Fu, Shaowei Cai, Guanfeng Wu, Jun Liu, Xin Yang, Yang Xu
Improving two-mode algorithm via probabilistic selection for solving satisfiability problem. Inf. Sci. 653 (2024)
Jiejiang Chen, Shaowei Cai, Yiyuan Wang, Wenhao Xu, Jia Ji, Minghao Yin
Improved local search for the minimum weight dominating set problem in massive graphs by using a deep optimization mechanism. Artif. Intell. 314 (2023)
Xiaoguang Chang, Teng Wang, Shaowei Cai, Changyin Sun
LANDMARK: Language-guided Representation Enhancement Framework for Scene Graph Generation. CoRR (2023)
Bohan Li, Shaowei Cai
Local Search For SMT On Linear and Multilinear Real Arithmetic. CoRR (2023)
Pengfei Yang, Zhiming Chi, Zongxin Liu, Mengyu Zhao, Cheng-Chao Huang, Shaowei Cai, Lijun Zhang
Incremental Satisfiability Modulo Theory for Verification of Deep Neural Networks. CoRR (2023)
Zhonghan Wang, Bohua Zhan, Bohan Li, Shaowei Cai
Efficient Local Search for Nonlinear Real Arithmetic. CoRR (2023)
Chuan Luo, Qiyuan Zhao, Shaowei Cai, Hongyu Zhang, Chunming Hu
SamplingCA: effective and efficient sampling-based pairwise testing for highly configurable software systems. ESEC/SIGSOFT FSE (2022)
Shaowei Cai, Bohan Li, Xindi Zhang
Local Search For Satisfiability Modulo Integer Arithmetic Theories. CoRR (2022)
Weilin Luo, Rongzhen Ye, Hai Wan, Shaowei Cai, Biqing Fang, Delong Zhang
Improving Local Search Algorithms via Probabilistic Configuration Checking. AAAI (2022)
Shaowei Cai, Xindi Zhang, Mathias Fleury, Armin Biere
Better Decision Heuristics in CDCL through Local Search and Target Phases. J. Artif. Intell. Res. 74 (2022)
Jian Gao, Yiqi Lv, Minghao Liu, Shaowei Cai, Feifei Ma
Improving Simulated Annealing for Clique Partitioning Problems. J. Artif. Intell. Res. 74 (2022)
Shaowei Cai, Xindi Zhang
Deep Cooperation of CDCL and Local Search for SAT (Extended Abstract). IJCAI (2022)
Jiejiang Chen, Yiyuan Wang, Shaowei Cai, Minghao Yin, Yupeng Zhou, Jieyu Wu
NukCP: An Improved Local Search Algorithm for Maximum k-Club Problem. AAAI (2022)
Shaowei Cai, Bohan Li, Xindi Zhang
Local Search for SMT on Linear Integer Arithmetic. CAV (2) (2022)
Shaowei Cai, Xindi Zhang
Deep Cooperation of CDCL and Local Search for SAT. SAT (2021)
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)
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 (2021)
Zhendong Lei, Shaowei Cai, Chuan Luo, Holger H. Hoos
Efficient Local Search for Pseudo Boolean Optimization. SAT (2021)
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)
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)
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)
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 (2021)
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)
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)
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)
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 (2021)
Zhendong Lei, Shaowei Cai, Chuan Luo
Extended Conjunctive Normal Form and An Efficient Algorithm for Cardinality Constraints. IJCAI (2020)
Zhendong Lei, Shaowei Cai
NuDist: An Efficient Local Search Algorithm for (Weighted) Partial MaxSAT. Comput. J. 63 (9) (2020)
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) (2020)
Zhendong Lei, Shaowei Cai
Solving Set Cover and Dominating Set via Maximum Satisfiability. AAAI (2020)
Chuan Luo, Holger H. Hoos, Shaowei Cai
PbO-CCSAT: Boosting Local Search for Satisfiability Using Programming by Optimisation. PPSN (1) (2020)
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)
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) (2020)
Shaowei Cai, Wenying Hou, Yiyuan Wang, Chuan Luo, Qingwei Lin
Two-goal Local Search and Inference Rules for Minimum Dominating Set. IJCAI (2020)
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 (2020)
Wenjie Zhang, Zeyu Sun, Qihao Zhu, Ge Li, Shaowei Cai, Yingfei Xiong, Lu Zhang
NLocalSAT: Boosting Local Search with Solution Prediction. CoRR (2020)
Wenjie Zhang, Zeyu Sun, Qihao Zhu, Ge Li, Shaowei Cai, Yingfei Xiong, Lu Zhang
NLocalSAT: Boosting Local Search with Solution Prediction. IJCAI (2020)
Shaowei Cai, Xindi Zhang
Pure MaxSAT and Its Applications to Combinatorial Optimization via Linear Local Search. CP (2020)
Shaowei Cai, Zhendong Lei
Old techniques in new ways: Clause weighting, unit propagation and hybridization for maximum satisfiability. Artif. Intell. 287 (2020)
Yingjie Fu, Zhendong Lei, Shaowei Cai, Jinkun Lin, Haoran Wang
WCA: A weighting local search for constrained combinatorial test optimization. Inf. Softw. Technol. 122 (2020)
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)
Yiyuan Wang, Shaowei Cai, Shiwei Pan, Ximing Li, Minghao Yin
Reduction and Local Search for Weighted Graph Coloring Problem. AAAI (2020)
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)
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) (2019)
Jinkun Lin, Shaowei Cai, Chuan Luo, Qingwei Lin, Hongyu Zhang
Towards more efficient meta-heuristic algorithms for combinatorial test generation. ESEC/SIGSOFT FSE (2019)
Yi Chu, Chuan Luo, Shaowei Cai, Haihang You
Empirical investigation of stochastic local search for maximum satisfiability. Frontiers Comput. Sci. 13 (1) (2019)
Peilin Chen, Hai Wan, Shaowei Cai, Weilin Luo, Jia Li
Combining Reinforcement Learning and Configuration Checking for Maximum k-plex Problem. CoRR (2019)
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)
Shaowei Cai, Yuanjie Li, Wenying Hou, Haoran Wang
Towards faster local search for minimum weight vertex cover on massive graphs. Inf. Sci. 471 (2019)
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 (2019)
Yiyuan Wang, Shaowei Cai, Minghao Yin
New heuristic approaches for maximum balanced biclique problem. Inf. Sci. 432 (2018)
Ruizhi Li, Shaowei Cai, Shuli Hu, Minghao Yin, Jian Gao
NuMWVC: A Novel Local Search for Minimum Weighted Vertex Cover Problem. AAAI (2018)
Meng Liu, Dantong Ouyang, Shaowei Cai, Liming Zhang
Efficient zonal diagnosis with maximum satisfiability. Sci. China Inf. Sci. 61 (11) (2018)
Yiyuan Wang, Shaowei Cai, Jiejiang Chen, Minghao Yin
A Fast Local Search Algorithm for Minimum Weight Dominating Set Problem on Massive Graphs. IJCAI (2018)
Shaowei Cai, Wenying Hou, Jinkun Lin, Yuanjie Li
Improving Local Search for Minimum Weight Vertex Cover by Dynamic Strategies. IJCAI (2018)
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) (2018)
Kenji Kanazawa, Shaowei Cai
FPGA Acceleration to Solve Maximum Clique Problems Encoded into Partial MaxSAT. MCSoC (2018)
Zhendong Lei, Shaowei Cai
Solving (Weighted) Partial MaxSAT by Dynamic Local Search for SAT. IJCAI (2018)
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)
Jinkun Lin, Shaowei Cai, Chuan Luo, Kaile Su
A Reduction based Method for Coloring Very Large Graphs. IJCAI (2017)
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 (2017)
Yuanjie Li, Shaowei Cai, Wenying Hou
An Efficient Local Search Algorithm for Minimum Weighted Vertex Cover on Massive Graphs. SEAL (2017)
Chuan Luo, Shaowei Cai, Kaile Su, Wenxuan Huang
CCEHC: An efficient local search algorithm for weighted partial maximum satisfiability. Artif. Intell. 243 (2017)
Yiyuan Wang, Shaowei Cai, Minghao Yin
Local Search for Minimum Weight Dominating Set with Two-Level Configuration Checking and Frequency Based Scoring Function. CoRR (2017)
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 (2017)
Haochen Zhang, Shaowei Cai, Chuan Luo, Minghao Yin
An efficient local search algorithm for the winner determination problem. J. Heuristics 23 (5) (2017)
Shaowei Cai, Chuan Luo, Haochen Zhang
From Decimation to Local Search and Back: A New Approach to MaxSAT. IJCAI (2017)
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)
Chuan Luo, Shaowei Cai, Kaile Su, Wenxuan Huang
CCEHC: An Efficient Local Search Algorithm for Weighted Partial Maximum Satisfiability (Extended Abstract). IJCAI (2017)
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) (2016)
Shaowei Cai, Chuan Luo, Jinkun Lin, Kaile Su
New local search methods for partial MaxSAT. Artif. Intell. 240 (2016)
Yongjian Li, Kaiqiang Duan, Yi Lv, Jun Pang, Shaowei Cai
A novel approach to parameterized verification of cache coherence protocols. ICCD (2016)
Shaowei Cai, Jinkun Lin
Fast Solving Maximum Weight Clique Problem in Massive Graphs. IJCAI (2016)
Yiyuan Wang, Shaowei Cai, Minghao Yin
Two Efficient Local Search Algorithms for Maximum Weight Clique Problem. AAAI (2016)
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) (2015)
Shaowei Cai, Zhong Jie, Kaile Su
An effective variable selection heuristic in SLS for weighted Max-2-SAT. J. Heuristics 21 (3) (2015)
Shaowei Cai, Chuan Luo, Kaile Su
CCAnr: A Configuration Checking Based Local Search Solver for Non-random Satisfiability. SAT (2015)
Shaowei Cai, Chuan Luo, Kaile Su
Improving WalkSAT By Effective Tie-Breaking and Efficient Implementation. Comput. J. 58 (11) (2015)
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) (2015)
Shaowei Cai
Balance between Complexity and Quality: Local Search for Minimum Vertex Cover in Massive Graphs. IJCAI (2015)
Chuan Luo, Shaowei Cai, Kaile Su, Wei Wu
Clause States Based Configuration Checking in Local Search for Satisfiability. IEEE Trans. Cybern. 45 (5) (2015)
Shaowei Cai, Jinkun Lin, Kaile Su
Two Weighting Local Search for Minimum Vertex Cover. AAAI (2015)
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)
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) (2015)
Shaowei Cai, Chuan Luo, John Thornton, Kaile Su
Tailoring Local Search for Partial MaxSAT. AAAI (2014)
Shaowei Cai, Chuan Luo, Kaile Su
Scoring Functions Based on Second Level Score for k-SAT with Long Clauses. J. Artif. Intell. Res. 51 (2014)
Chuan Luo, Shaowei Cai, Wei Wu, Kaile Su
Double Configuration Checking in Stochastic Local Search for Satisfiability. AAAI (2014)
Chuan Luo, Kaile Su, Shaowei Cai
More efficient two-mode stochastic local search for random 3-satisfiability. Appl. Intell. 41 (3) (2014)
Shaowei Cai, Kaile Su, Chuan Luo, Abdul Sattar
NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover. CoRR (2014)
Shaowei Cai, Kaile Su, Chuan Luo, Abdul Sattar
NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover. J. Artif. Intell. Res. 46 (2013)
Fei Yan, Shaowei Cai, Ming Zhang, Guojun Liu, Zhi-Hong Deng
A clique-superposition model for social networks. Sci. China Inf. Sci. 56 (5) (2013)
Shaowei Cai, Kaile Su, Chuan Luo
Improving WalkSAT for Random k-Satisfiability Problem with k > 3. AAAI (2013)
Shaowei Cai, Kaile Su
Local search for Boolean Satisfiability with configuration checking and subscore. Artif. Intell. 204 (2013)
Shaowei Cai, Kaile Su
Comprehensive Score: Towards Efficient Local Search for SAT with Long Clauses. IJCAI (2013)
Chuan Luo, Shaowei Cai, Wei Wu, Kaile Su
Focused Random Walk with Configuration Checking and Break Minimum for Satisfiability. CP (2013)
Chuan Luo, Kaile Su, Shaowei Cai
Improving Local Search for Random 3-SAT Using Quantitative Configuration Checking. ECAI (2012)
Shaowei Cai, Kaile Su
Configuration Checking with Aspiration in Local Search for SAT. AAAI (2012)
Shaowei Cai, Kaile Su, Abdul Sattar
Two New Local Search Strategies for Minimum Vertex Cover. AAAI (2012)
Shaowei Cai, Kaile Su
Local Search with Configuration Checking for SAT. ICTAI (2011)
Shaowei Cai, Kaile Su, Abdul Sattar
Local search with edge weighting and configuration checking heuristics for minimum vertex cover. Artif. Intell. 175 (9-10) (2011)

Shaowei Cai.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Shaowei Cai