×
Author ID: cai.shaowei Recent zbMATH articles by "Cai, Shaowei"
Published as: Cai, Shaowei

Publications by Year

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 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

Citations by Year