Edit Profile (opens in new tab) Cai, Shaowei Co-Author Distance Author ID: cai.shaowei Published as: Cai, Shaowei Documents Indexed: 31 Publications since 2011, including 1 Additional arXiv Preprint Co-Authors: 45 Co-Authors with 30 Joint Publications 1,474 Co-Co-Authors all top 5 Co-Authors 0 single-authored 10 Luo, Chuan 9 Su, Kaile 6 Wang, Yiyuan 5 Zhang, Xindi 4 Lin, Jinkun 4 Yin, Minghao 3 Li, Bohan 2 Chen, Jiejiang 2 Lei, Zhendong 2 Sattar, Abdul 1 Abu-Khzam, Faisal N. 1 Biere, Armin 1 Breid, D. 1 Chu, Yi 1 Crosby, A. J. 1 Deng, Zhihong 1 Duan, Kaiqiang 1 Egan, Judith 1 Fleury, Mathias 1 Gao, Jian 1 He, Xiaoyu 1 Hoos, Holger H. 1 Hou, Wenying 1 Huang, Wenxuan 1 Hutchinson, John Woodside 1 Jansen, David N. 1 Ji, Jia 1 Jie, Zhong 1 Li, Yongjian 1 Li, Yuanjie 1 Lin, Peng 1 Liu, Boxiao 1 Liu, Guojun 1 Liu, Minghao 1 Lv, Yi 1 Lv, Yiqi 1 Ma, Feifei 1 Pang, Jun 1 Strash, Darren 1 Wang, Haoran 1 Xiang, Yi 1 Xu, Wenhao 1 Yan, Fei 1 You, Haihang 1 Zhang, Lijun 1 Zhang, Ming 1 Zhou, Yuren 1 Zou, Mengchuan all top 5 Serials 8 Artificial Intelligence 8 The Journal of Artificial Intelligence Research (JAIR) 2 Information Sciences 2 ACM Transactions on Computational Logic 1 Journal of the Mechanics and Physics of Solids 1 IEEE Transactions on Computers 1 Journal of Combinatorial Optimization 1 Science China. Information Sciences all top 5 Fields 25 Computer science (68-XX) 10 Combinatorics (05-XX) 6 Operations research, mathematical programming (90-XX) 1 Mathematical logic and foundations (03-XX) 1 Mechanics of deformable solids (74-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 23 Publications have been cited 168 times in 84 Documents Cited by ▼ Year ▼ Local search with edge weighting and configuration checking heuristics for minimum vertex cover. Zbl 1225.68242 Cai, Shaowei; Su, Kaile; Sattar, Abdul 32 2011 CCLS: an efficient local search algorithm for weighted maximum satisfiability. Zbl 1360.68786 Luo, Chuan; Cai, Shaowei; Wu, Wei; Jie, Zhong; Su, Kaile 26 2015 Local search for Boolean satisfiability with configuration checking and subscore. Zbl 1334.68200 Cai, Shaowei; Su, Kaile 18 2013 NuMVC: an efficient local search algorithm for minimum vertex cover. Zbl 1280.90098 Cai, Shaowei; Su, Kaile; Luo, Chuan; Sattar, Abdul 18 2013 Periodic patterns and energy states of buckled films on compliant substrates. Zbl 1270.74126 Cai, S.; Breid, D.; Crosby, A. J.; Suo, Z.; Hutchinson, J. W. 17 2011 Local search for minimum weight dominating set with two-level configuration checking and frequency based scoring function. Zbl 1404.68146 Wang, Yiyuan; Cai, Shaowei; Yin, Minghao 11 2017 CCEHC: an efficient local search algorithm for weighted partial maximum satisfiability. Zbl 1402.68163 Luo, Chuan; Cai, Shaowei; Su, Kaile; Huang, Wenxuan 9 2017 New local search methods for partial MaxSAT. Zbl 1386.68152 Cai, Shaowei; Luo, Chuan; Lin, Jinkun; Su, Kaile 7 2016 SCCWalk: an efficient local search algorithm and its improvements for maximum weight clique problem. Zbl 1476.68218 Wang, Yiyuan; Cai, Shaowei; Chen, Jiejiang; Yin, Minghao 7 2020 Improving local search for random 3-SAT using quantitative configuration checking. Zbl 1327.68225 Luo, Chuan; Su, Kaile; Cai, Shaowei 6 2012 CCAnr: a configuration checking based local search solver for non-random satisfiability. Zbl 1471.68240 Cai, Shaowei; Luo, Chuan; Su, Kaile 6 2015 Finding a small vertex cover in massive sparse graphs: construct, local search, and preprocess. Zbl 1418.68164 Cai, Shaowei; Lin, Jinkun; Luo, Chuan 4 2017 Turbo-charging dominating set with an FPT subroutine: further improvements and experimental analysis. Zbl 1485.68242 Abu-Khzam, Faisal N.; Cai, Shaowei; Egan, Judith; Shaw, Peter; Wang, Kai 4 2017 Towards faster local search for minimum weight vertex cover on massive graphs. Zbl 1441.68168 Cai, Shaowei; Li, Yuanjie; Hou, Wenying; Wang, Haoran 3 2019 Efficient local search based on dynamic connectivity maintenance for minimum connected dominating set. Zbl 1510.68106 Zhang, Xindi; Li, Bohan; Cai, Shaowei; Wang, Yiyuan 3 2021 Scoring functions based on second level score for \(k\)-SAT with long clauses. Zbl 1367.68261 Cai, Shaowei; Luo, Chuan; Su, Kaile 2 2014 Old techniques in new ways: clause weighting, unit propagation and hybridization for maximum satisfiability. Zbl 1493.68340 Cai, Shaowei; Lei, Zhendong 2 2020 New heuristic approaches for maximum balanced biclique problem. Zbl 1461.05223 Wang, Yiyuan; Cai, Shaowei; Yin, Minghao 2 2018 Local search for SMT on linear integer arithmetic. Zbl 1514.68273 Cai, Shaowei; Li, Bohan; Zhang, Xindi 2 2022 Efficient local search for pseudo Boolean optimization. Zbl 07495583 Lei, Zhendong; Cai, Shaowei; Luo, Chuan; Hoos, Holger 2 2021 An automatic proving approach to parameterized verification. Zbl 1407.68295 Li, Yongjian; Duan, Kaiqiang; Jansen, David N.; Pang, Jun; Zhang, Lijun; Lv, Yi; Cai, Shaowei 2 2018 Improved local search for the minimum weight dominating set problem in massive graphs by using a deep optimization mechanism. Zbl 07638291 Chen, Jiejiang; Cai, Shaowei; Wang, Yiyuan; Xu, Wenhao; Ji, Jia; Yin, Minghao 1 2023 Improving simulated annealing for clique partitioning problems. Zbl 07577516 Gao, Jian; Lv, Yiqi; Liu, Minghao; Cai, Shaowei; Ma, Feifei 1 2022 Improved local search for the minimum weight dominating set problem in massive graphs by using a deep optimization mechanism. Zbl 07638291 Chen, Jiejiang; Cai, Shaowei; Wang, Yiyuan; Xu, Wenhao; Ji, Jia; Yin, Minghao 1 2023 Local search for SMT on linear integer arithmetic. Zbl 1514.68273 Cai, Shaowei; Li, Bohan; Zhang, Xindi 2 2022 Improving simulated annealing for clique partitioning problems. Zbl 07577516 Gao, Jian; Lv, Yiqi; Liu, Minghao; Cai, Shaowei; Ma, Feifei 1 2022 Efficient local search based on dynamic connectivity maintenance for minimum connected dominating set. Zbl 1510.68106 Zhang, Xindi; Li, Bohan; Cai, Shaowei; Wang, Yiyuan 3 2021 Efficient local search for pseudo Boolean optimization. Zbl 07495583 Lei, Zhendong; Cai, Shaowei; Luo, Chuan; Hoos, Holger 2 2021 SCCWalk: an efficient local search algorithm and its improvements for maximum weight clique problem. Zbl 1476.68218 Wang, Yiyuan; Cai, Shaowei; Chen, Jiejiang; Yin, Minghao 7 2020 Old techniques in new ways: clause weighting, unit propagation and hybridization for maximum satisfiability. Zbl 1493.68340 Cai, Shaowei; Lei, Zhendong 2 2020 Towards faster local search for minimum weight vertex cover on massive graphs. Zbl 1441.68168 Cai, Shaowei; Li, Yuanjie; Hou, Wenying; Wang, Haoran 3 2019 New heuristic approaches for maximum balanced biclique problem. Zbl 1461.05223 Wang, Yiyuan; Cai, Shaowei; Yin, Minghao 2 2018 An automatic proving approach to parameterized verification. Zbl 1407.68295 Li, Yongjian; Duan, Kaiqiang; Jansen, David N.; Pang, Jun; Zhang, Lijun; Lv, Yi; Cai, Shaowei 2 2018 Local search for minimum weight dominating set with two-level configuration checking and frequency based scoring function. Zbl 1404.68146 Wang, Yiyuan; Cai, Shaowei; Yin, Minghao 11 2017 CCEHC: an efficient local search algorithm for weighted partial maximum satisfiability. Zbl 1402.68163 Luo, Chuan; Cai, Shaowei; Su, Kaile; Huang, Wenxuan 9 2017 Finding a small vertex cover in massive sparse graphs: construct, local search, and preprocess. Zbl 1418.68164 Cai, Shaowei; Lin, Jinkun; Luo, Chuan 4 2017 Turbo-charging dominating set with an FPT subroutine: further improvements and experimental analysis. Zbl 1485.68242 Abu-Khzam, Faisal N.; Cai, Shaowei; Egan, Judith; Shaw, Peter; Wang, Kai 4 2017 New local search methods for partial MaxSAT. Zbl 1386.68152 Cai, Shaowei; Luo, Chuan; Lin, Jinkun; Su, Kaile 7 2016 CCLS: an efficient local search algorithm for weighted maximum satisfiability. Zbl 1360.68786 Luo, Chuan; Cai, Shaowei; Wu, Wei; Jie, Zhong; Su, Kaile 26 2015 CCAnr: a configuration checking based local search solver for non-random satisfiability. Zbl 1471.68240 Cai, Shaowei; Luo, Chuan; Su, Kaile 6 2015 Scoring functions based on second level score for \(k\)-SAT with long clauses. Zbl 1367.68261 Cai, Shaowei; Luo, Chuan; Su, Kaile 2 2014 Local search for Boolean satisfiability with configuration checking and subscore. Zbl 1334.68200 Cai, Shaowei; Su, Kaile 18 2013 NuMVC: an efficient local search algorithm for minimum vertex cover. Zbl 1280.90098 Cai, Shaowei; Su, Kaile; Luo, Chuan; Sattar, Abdul 18 2013 Improving local search for random 3-SAT using quantitative configuration checking. Zbl 1327.68225 Luo, Chuan; Su, Kaile; Cai, Shaowei 6 2012 Local search with edge weighting and configuration checking heuristics for minimum vertex cover. Zbl 1225.68242 Cai, Shaowei; Su, Kaile; Sattar, Abdul 32 2011 Periodic patterns and energy states of buckled films on compliant substrates. Zbl 1270.74126 Cai, S.; Breid, D.; Crosby, A. J.; Suo, Z.; Hutchinson, J. W. 17 2011 all cited Publications top 5 cited Publications all top 5 Cited by 193 Authors 16 Cai, Shaowei 11 Yin, Minghao 8 Wang, Yiyuan 7 Li, Chumin 6 Berend, Daniel 6 Twitto, Yochai 5 Luo, Chuan 4 Golan, Shahar 4 Hao, Jin-Kao 4 Su, Kaile 4 Zhang, Xindi 3 Chen, Jiejiang 3 Glover, Fred W. 3 Hu, Shuli 3 Li, Bohan 3 Li, Wenjun 3 Lü, Zhipeng 3 Wang, Jianxin 3 Wu, Jun 3 Wu, Qinghua 3 Zhou, Junping 2 Abramé, André 2 Aihara, Kazuyuki 2 Chen, Jian-er 2 Cimatti, Alessandro 2 Griggio, Alberto 2 Habet, Djamal 2 He, Kun 2 Jiang, Hua 2 Lei, Zhendong 2 Li, Ruizhi 2 Lin, Jinkun 2 Luo, Junjie 2 Molter, Hendrik 2 Nichterlein, André 2 Niedermeier, Rolf 2 Redondi, Gianluca 2 Strash, Darren 2 Su, Zhouxing 2 Suzuki, Hideyuki 2 Wu, Xinyun 2 Xu, Chao 2 Yamashita, Hiroshi 2 Yang, Yongjie 2 Zhao, Peng 1 Al-Shihabi, Sameh 1 Ansótegui, Carlos 1 Arbelaez, Alejandro 1 Bai, Wen 1 Biere, Armin 1 Blum, Christian 1 Branson, Luke 1 Chalupa, David 1 Chen, Yadi 1 Chen, Yongfu 1 Chu, Yi 1 Dai, Jinyu 1 El Krari, Mehdi 1 Ernst, Andreas T. 1 Fan, Yi 1 Fang, Chao 1 Fang, Yuan 1 Fang, Zhiwen 1 Fichte, Johannes Klaus 1 Fröhlich, Andreas M. 1 Fu, Yan-Rong 1 Gabàs, Joel 1 Goudet, Olivier 1 Grelier, Cyril 1 Guibadj, Rym Nesrine 1 Guo, Wensheng 1 Haraguchi, Kazuya 1 Hashimoto, Hideki 1 Hernández Mira, Frank Ángel 1 Heule, Marijn J. H. 1 Hong, Yawei 1 Hoos, Holger H. 1 Hou, Wenying 1 Hu, Bo 1 Hu, Xianbiao 1 Huang, Wenxuan 1 Huang, Xiaohui 1 Huang, Zhichuan 1 Hung, William N. N. 1 Itoyanagi, Junji 1 Jarvis, Padraigh 1 Ji, Jia 1 Jiang, Baoping 1 Jiang, Jianhua 1 Jiang, Lu 1 Jin, Chenghou 1 Joshi, Saurabh 1 Karimi, Hamid Reza 1 Katzgraber, Helmut G. 1 Kirley, Michael 1 Komusiewicz, Christian 1 Krithika, R. 1 Kumar, Prateek 1 Kurbatskiĭ, Aleksandr Nikolaevich 1 Lang, Jérôme ...and 93 more Authors all top 5 Cited in 28 Serials 10 Computers & Operations Research 9 Artificial Intelligence 6 Information Sciences 3 Algorithmica 3 European Journal of Operational Research 3 Journal of Combinatorial Optimization 3 Discrete Optimization 2 Theoretical Computer Science 2 The Journal of Artificial Intelligence Research (JAIR) 2 International Transactions in Operational Research 2 INFORMS Journal on Computing 2 Mathematical Problems in Engineering 2 Communications in Nonlinear Science and Numerical Simulation 2 Journal of Statistical Mechanics: Theory and Experiment 2 Journal of Satisfiability, Boolean Modeling and Computation 1 Journal of the Franklin Institute 1 Journal of Computer Science and Technology 1 AI Communications 1 Annals of Operations Research 1 Computational Mathematics and Mathematical Physics 1 Annals of Mathematics and Artificial Intelligence 1 Mathematical Methods of Operations Research 1 Data Mining and Knowledge Discovery 1 ACM Transactions on Computational Logic 1 ACM Journal of Experimental Algorithmics 1 Optimization Letters 1 Mathematical Programming Computation 1 Science China. Information Sciences all top 5 Cited in 11 Fields 57 Computer science (68-XX) 39 Operations research, mathematical programming (90-XX) 17 Combinatorics (05-XX) 2 Mathematical logic and foundations (03-XX) 2 Numerical analysis (65-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Systems theory; control (93-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Probability theory and stochastic processes (60-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year