Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Shaowei Cai 0001

蔡少伟

> Home > Persons

Person information

unicode name: 蔡少伟
affiliation: Chinese Academy of Sciences, Institute of Software, State Key Laboratory of Computer Science, Beijing, China
affiliation: University of Chinese Academy of Sciences, School of Computer Science and Technology, Beijing, China
affiliation (former, PhD 2012): Peking University, Key Laboratory of High Confidence Software Technologies

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j42]
- view
  authority control:
- export record
  dblp key:
  - journals/isci/FuCWLYX24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isci/FuCWLYX24
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: 119751 (2024)
[j41]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/LuoCWZCX24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/LuoCWZCX24
Weilin Luo, Polong Chen, Hai Wan, Hongzhen Zhong, Shaowei Cai, Zhanhao Xiao:
Goal-conflict identification based on local search and fast boundary-condition verification based on incremental satisfiability filter. J. Syst. Softw. 213: 112036 (2024)
[j40]
- view
  authority control:
- export record
  dblp key:
  - journals/tcyb/LuoXCH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcyb/LuoXCH24
Chuan Luo, Wenqian Xing, Shaowei Cai, Chunming Hu:
NuSC: An Effective Local Search Algorithm for Solving the Set Covering Problem. IEEE Trans. Cybern. 54(3): 1403-1416 (2024)
2023
[j39]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/ChenCWXJY23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/ChenCWXJY23
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: 103819 (2023)
[j38]
- view
  authority control:
- export record
  dblp key:
  - journals/ijsi/CaiCWZZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijsi/CaiCWZZ23
Shaowei Cai, Zhenbang Chen, Ji Wang, Bohua Zhan, Yongwang Zhao:
Preface to the Special Issue on Constraint Solving and Theorem Proving. Int. J. Softw. Informatics 13(3): 243-245 (2023)
[j37]
- view
  authority control:
- export record
  dblp key:
  - journals/isci/GaoTC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isci/GaoTC23
Jian Gao, Xiaoxia Tao, Shaowei Cai:
Towards more efficient local search algorithms for constrained clustering. Inf. Sci. 621: 287-307 (2023)
[j36]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/CaiLZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/CaiLZ23
Shaowei Cai, Bohan Li, Xindi Zhang:
Local Search For Satisfiability Modulo Integer Arithmetic Theories. ACM Trans. Comput. Log. 24(4): 32:1-32:26 (2023)
2022
[j35]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jair/GaoLLCM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/GaoLLCM22
Jian Gao, Yiqi Lv, Minghao Liu, Shaowei Cai, Feifei Ma:
Improving Simulated Annealing for Clique Partitioning Problems. J. Artif. Intell. Res. 74: 1485-1513 (2022)
[j34]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jair/CaiZFB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/CaiZFB22
Shaowei Cai, Xindi Zhang, Mathias Fleury, Armin Biere:
Better Decision Heuristics in CDCL through Local Search and Target Phases. J. Artif. Intell. Res. 74: 1515-1563 (2022)
2021
[j33]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jair/ZhangLCW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/ZhangLCW21
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jair/CaiLWS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/CaiLWS21
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)
2020
[j31]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/WangCCY20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/WangCCY20
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/CaiL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/CaiL20
Shaowei Cai, Zhendong Lei:
Old techniques in new ways: Clause weighting, unit propagation and hybridization for maximum satisfiability. Artif. Intell. 287: 103354 (2020)
[j29]
- view
  authority control:
- export record
  dblp key:
  - journals/cj/LeiC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cj/LeiC20
Zhendong Lei, Shaowei Cai:
NuDist: An Efficient Local Search Algorithm for (Weighted) Partial MaxSAT. Comput. J. 63(9): 1321-1337 (2020)
[j28]
- view
  authority control:
- export record
  dblp key:
  - journals/infsof/FuLCLW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/infsof/FuLCLW20
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]
- view
  authority control:
- export record
  dblp key:
  - journals/jco/ChuLCLY20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jco/ChuLCLY20
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]
- view
  authority control:
- export record
  dblp key:
  - journals/jors/LiHCGWY20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jors/LiHCGWY20
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)
2019
[j25]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/ZhouHXC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/ZhouHXC19
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]
- view
  authority control:
- export record
  dblp key:
  - journals/chinaf/WangWYBC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/chinaf/WangWYBC19
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]
- view
  authority control:
- export record
  dblp key:
  - journals/fcsc/ChuLCY19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fcsc/ChuLCY19
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]
- view
  authority control:
- export record
  dblp key:
  - journals/isci/CaiLHW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isci/CaiLHW19
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)
2018
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/chinaf/LiuOC018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/chinaf/LiuOC018
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]
- view
  authority control:
- export record
  dblp key:
  - journals/isci/WangCY18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isci/WangCY18
Yiyuan Wang, Shaowei Cai, Minghao Yin:
New heuristic approaches for maximum balanced biclique problem. Inf. Sci. 432: 362-375 (2018)
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/LiDJPZLC18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/LiDJPZLC18
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)
2017
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/LuoCSH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/LuoCSH17
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]
- view
  authority control:
- export record
  dblp key:
  - journals/heuristics/ZhangCLY17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/heuristics/ZhangCLY17
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jair/WangCY17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/WangCY17
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jair/CaiLL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/CaiLL17
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)
2016
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/CaiLLS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/CaiLLS16
Shaowei Cai, Chuan Luo, Jinkun Lin, Kaile Su:
New local search methods for partial MaxSAT. Artif. Intell. 240: 1-18 (2016)
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/sigarch/SassaKCY16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigarch/SassaKCY16
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)
2015
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/cj/CaiLS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cj/CaiLS15
Shaowei Cai, Chuan Luo, Kaile Su:
Improving WalkSAT By Effective Tie-Breaking and Efficient Implementation. Comput. J. 58(11): 2864-2875 (2015)
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/heuristics/CaiJS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/heuristics/CaiJS15
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tc/LuoCWJS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tc/LuoCWJS15
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tcyb/LuoCSW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcyb/LuoCSW15
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/WuSCZZW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/WuSCZZW15
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tvlsi/WuHSCZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tvlsi/WuHSCZ15
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)
2014
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/apin/LuoSC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apin/LuoSC14
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jair/CaiLS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/CaiLS14
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)
2013
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/CaiS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/CaiS13
Shaowei Cai, Kaile Su:
Local search for Boolean Satisfiability with configuration checking and subscore. Artif. Intell. 204: 75-98 (2013)
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/chinaf/YanCZLD13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/chinaf/YanCZLD13
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jair/CaiSLS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/CaiSLS13
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)
2011
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/CaiSS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/CaiSS11
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)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/Zhang0024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/Zhang0024
Xindi Zhang, Bohan Li, Shaowei Cai:
Deep Combination of CDCL(T) and Local Search for Satisfiability Modulo Non-Linear Integer Arithmetic Theory. ICSE 2024: 125:1-125:13
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/WangZLC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/WangZLC24
Zhonghan Wang, Bohua Zhan, Bohan Li, Shaowei Cai:
Efficient Local Search for Nonlinear Real Arithmetic. VMCAI (1) 2024: 326-349
2023
[c65]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/Chu0L23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/Chu0L23
Yi Chu, Shaowei Cai, Chuan Luo:
NuWLS: Improving Local Search for (Weighted) Partial MaxSAT by New Weighting Techniques. AAAI 2023: 3915-3923
[c64]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/00010JZS0M023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/00010JZS0M023
Minghao Liu, Pei Huang, Fuqi Jia, Fan Zhang, Yuchen Sun, Shaowei Cai, Feifei Ma, Jian Zhang:
Can Graph Neural Networks Learn to Solve the MaxSAT Problem? (Student Abstract). AAAI 2023: 16264-16265
[c63]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cp/Chu0LL023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/Chu0LL023
Yi Chu, Shaowei Cai, Chuan Luo, Zhendong Lei, Cong Peng:
Towards More Efficient Local Search for Pseudo-Boolean Optimization. CP 2023: 12:1-12:18
[c62]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cp/ZhouZW0WWY23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/ZhouZW0WWY23
Wenbo Zhou, Yujiao Zhao, Yiyuan Wang, Shaowei Cai, Shimao Wang, Xinyu Wang, Minghao Yin:
Improving Local Search for Pseudo Boolean Optimization by Fragile Scoring Function and Deep Optimization. CP 2023: 41:1-41:18
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/LiSLKCX23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/LiSLKCX23
Min Li, Zhengyuan Shi, Qiuxia Lai, Sadaf Khan, Shaowei Cai, Qiang Xu:
On EDA-Driven Learning for SAT Solving. DAC 2023: 1-6
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/Cai23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/Cai23
Shaowei Cai:
Local Search and Its Application in CDCL/CDCL(T) solvers for SAT/SMT. FMCAD 2023: 1
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/LiC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/LiC23
Bohan Li, Shaowei Cai:
Local Search For SMT On Linear and Multi-linear Real Arithmetic. FMCAD 2023: 1-10
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/ChenZQXC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/ChenZQXC23
Zhihan Chen, Xindi Zhang, Yuhang Qian, Qiang Xu, Shaowei Cai:
Integrating Exact Simulation into Sweeping for Datapath Combinational Equivalence Checking. ICCAD 2023: 1-9
[c57]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/WangJ0L23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/WangJ0L23
Yiyuan Wang, Chenghou Jin, Shaowei Cai, Qingwei Lin:
PathLAD+: An Improved Exact Algorithm for Subgraph Isomorphism Problem. IJCAI 2023: 5639-5647
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/ZhaoL00LZH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/ZhaoL00LZH23
Qiyuan Zhao, Chuan Luo, Shaowei Cai, Wei Wu, Jinkun Lin, Hongyu Zhang, Chunming Hu:
CAmpactor: A Novel and Effective Local Search Algorithm for Optimizing Pairwise Covering Arrays. ESEC/SIGSOFT FSE 2023: 81-93
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/LuoSZL0H23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/LuoSZL0H23
Chuan Luo, Jianping Song, Qiyuan Zhao, Yibei Li, Shaowei Cai, Chunming Hu:
Generating Pairwise Covering Arrays for Highly Configurable Software Systems. SPLC (A) 2023: 261-267
2022
[c54]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/ChenWCYZW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/ChenWCYZW22
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: 10146-10155
[c53]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/LuoYWCFZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/LuoYWCFZ22
Weilin Luo, Rongzhen Ye, Hai Wan, Shaowei Cai, Biqing Fang, Delong Zhang:
Improving Local Search Algorithms via Probabilistic Configuration Checking. AAAI 2022: 10283-10290
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/CaiLZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/CaiLZ22
Shaowei Cai, Bohan Li, Xindi Zhang:
Local Search for SMT on Linear Integer Arithmetic. CAV (2) 2022: 227-248
[c51]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/CaiZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/CaiZ22
Shaowei Cai, Xindi Zhang:
Deep Cooperation of CDCL and Local Search for SAT (Extended Abstract). IJCAI 2022: 5274-5278
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/LuoZC0H22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/LuoZC0H22
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: 1185-1197
2021
[c49]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/LuoZCQDZWCHRL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/LuoZCQDZWCHRL21
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/ChenCPWLZY21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/ChenCPWLZY21
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/LuoQXCZDYZWCHRL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/LuoQXCZDYZWCHRL21
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cp/CaiLZZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/CaiLZZ21
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cp/LiWWC21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/LiWWC21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/LinCHFLL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/LinCHFLL21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/LuoLCCHQZLZWRZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/LuoLCCHQZLZWRZ21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/CaiZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/CaiZ21
Shaowei Cai, Xindi Zhang:
Deep Cooperation of CDCL and Local Search for SAT. SAT 2021: 64-81
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/LeiCLH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/LeiCLH21
Zhendong Lei, Shaowei Cai, Chuan Luo, Holger H. Hoos:
Efficient Local Search for Pseudo Boolean Optimization. SAT 2021: 332-348
2020
[c40]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/LeiC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/LeiC20
Zhendong Lei, Shaowei Cai:
Solving Set Cover and Dominating Set via Maximum Satisfiability. AAAI 2020: 1569-1576
[c39]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/ChenWCLC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/ChenWCLC20
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/WangCPLY20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/WangCPLY20
Yiyuan Wang, Shaowei Cai, Shiwei Pan, Ximing Li, Minghao Yin:
Reduction and Local Search for Weighted Graph Coloring Problem. AAAI 2020: 2433-2441
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/CaiZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/CaiZ20
Shaowei Cai, Xindi Zhang:
Pure MaxSAT and Its Applications to Combinatorial Optimization via Linear Local Search. CP 2020: 90-106
[c36]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/LeiCL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/LeiCL20
Zhendong Lei, Shaowei Cai, Chuan Luo:
Extended Conjunctive Normal Form and An Efficient Algorithm for Cardinality Constraints. IJCAI 2020: 1141-1147
[c35]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/ZhangSZLCXZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/ZhangSZLCXZ20
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/CaiHWLL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/CaiHWLL20
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/LiZCLWB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/LiZCLWB20
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ppsn/LuoHC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppsn/LuoHC20
Chuan Luo, Holger H. Hoos, Shaowei Cai:
PbO-CCSAT: Boosting Local Search for Satisfiability Using Programming by Optimisation. PPSN (1) 2020: 373-389
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/GuLQQL0LDCWZCZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/GuLQQL0LDCWZCZ20
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
2019
[c30]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/LuoHCLZZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/LuoHCLZZ19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/LinCLLZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/LinCLLZ19
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
2018
[c28]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/LiCHYG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/LiCHYG18
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/LeiC18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/LeiC18
Zhendong Lei, Shaowei Cai:
Solving (Weighted) Partial MaxSAT by Dynamic Local Search for SAT. IJCAI 2018: 1346-1352
[c26]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/CaiHLL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/CaiHLL18
Shaowei Cai, Wenying Hou, Jinkun Lin, Yuanjie Li:
Improving Local Search for Minimum Weight Vertex Cover by Dynamic Strategies. IJCAI 2018: 1412-1418
[c25]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/WangCCY18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/WangCCY18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/mcsoc/KanazawaC18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mcsoc/KanazawaC18
Kenji Kanazawa, Shaowei Cai:
FPGA Acceleration to Solve Maximum Clique Problems Encoded into Partial MaxSAT. MCSoC 2018: 217-224
2017
[c23]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/LinCLS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/LinCLS17
Jinkun Lin, Shaowei Cai, Chuan Luo, Kaile Su:
A Reduction based Method for Coloring Very Large Graphs. IJCAI 2017: 517-523
[c22]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/CaiLZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/CaiLZ17
Shaowei Cai, Chuan Luo, Haochen Zhang:
From Decimation to Local Search and Back: A New Approach to MaxSAT. IJCAI 2017: 571-577
[c21]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/LuoCSH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/LuoCSH17
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/WangCY17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/WangCY17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/seal/LiCH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seal/LiCH17
Yuanjie Li, Shaowei Cai, Wenying Hou:
An Efficient Local Search Algorithm for Minimum Weighted Vertex Cover on Massive Graphs. SEAL 2017: 145-157
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/tamc/Abu-KhzamCESW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tamc/Abu-KhzamCESW17
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
2016
[c17]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/WangCY16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/WangCY16
Yiyuan Wang, Shaowei Cai, Minghao Yin:
Two Efficient Local Search Algorithms for Maximum Weight Clique Problem. AAAI 2016: 805-811
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/iccd/LiDLPC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccd/LiDLPC16
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]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/CaiL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/CaiL16
Shaowei Cai, Jinkun Lin:
Fast Solving Maximum Weight Clique Problem in Massive Graphs. IJCAI 2016: 568-574
2015
[c14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/CaiLS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/CaiLS15
Shaowei Cai, Jinkun Lin, Kaile Su:
Two Weighting Local Search for Minimum Vertex Cover. AAAI 2015: 1107-1113
[c13]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/Cai15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/Cai15
Shaowei Cai:
Balance between Complexity and Quality: Local Search for Minimum Vertex Cover in Massive Graphs. IJCAI 2015: 747-753
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/LinLCSH015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/LinLCSH015
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/CaiLS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/CaiLS15
Shaowei Cai, Chuan Luo, Kaile Su:
CCAnr: A Configuration Checking Based Local Search Solver for Non-random Satisfiability. SAT 2015: 1-8
2014
[c10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/CaiLTS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/CaiLTS14
Shaowei Cai, Chuan Luo, John Thornton, Kaile Su:
Tailoring Local Search for Partial MaxSAT. AAAI 2014: 2623-2629
[c9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/LuoCWS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/LuoCWS14
Chuan Luo, Shaowei Cai, Wei Wu, Kaile Su:
Double Configuration Checking in Stochastic Local Search for Satisfiability. AAAI 2014: 2703-2709
2013
[c8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/CaiSL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/CaiSL13
Shaowei Cai, Kaile Su, Chuan Luo:
Improving WalkSAT for Random k-Satisfiability Problem with k > 3. AAAI 2013: 145-151
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/LuoCWS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/LuoCWS13
Chuan Luo, Shaowei Cai, Wei Wu, Kaile Su:
Focused Random Walk with Configuration Checking and Break Minimum for Satisfiability. CP 2013: 481-496
[c6]
- view
- export record
  dblp key:
  - conf/ijcai/CaiS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/CaiS13
Shaowei Cai, Kaile Su:
Comprehensive Score: Towards Efficient Local Search for SAT with Long Clauses. IJCAI 2013: 489-495
2012
[c5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/CaiS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/CaiS12
Shaowei Cai, Kaile Su:
Configuration Checking with Aspiration in Local Search for SAT. AAAI 2012: 434-440
[c4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/CaiSS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/CaiSS12
Shaowei Cai, Kaile Su, Abdul Sattar:
Two New Local Search Strategies for Minimum Vertex Cover. AAAI 2012: 441-447
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/LuoSC12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/LuoSC12
Chuan Luo, Kaile Su, Shaowei Cai:
Improving Local Search for Random 3-SAT Using Quantitative Configuration Checking. ECAI 2012: 570-575
2011
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/ictai/CaiS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictai/CaiS11
Shaowei Cai, Kaile Su:
Local Search with Configuration Checking for SAT. ICTAI 2011: 59-66
2010
[c1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/CaiSC10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/CaiSC10
Shaowei Cai, Kaile Su, Qingliang Chen:
EWLS: A New Local Search for Minimum Vertex Cover. AAAI 2010: 45-50

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2024
[i12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2402-10705
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2402-10705
Yiwen Sun, Xianyin Zhang, Shiyu Huang, Shaowei Cai, Bing-Zhen Zhang, Ke Wei:
AutoSAT: Automatically Optimize SAT Solvers via Large Language Models. CoRR abs/2402.10705 (2024)
[i11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2403-06568
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2403-06568
Furong Ye, Chuan Luo, Shaowei Cai:
Better Understandings and Configurations in MaxSAT Local Search Solvers via Anytime Performance Analysis. CoRR abs/2403.06568 (2024)
2023
[i10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2302-06455
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2302-06455
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 abs/2302.06455 (2023)
[i9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2303-06676
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2303-06676
Bohan Li, Shaowei Cai:
Local Search For SMT On Linear and Multilinear Real Arithmetic. CoRR abs/2303.06676 (2023)
[i8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-00188
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-00188
Peng Lin, Shaowei Cai, Mengchuan Zou, Jinkun Lin:
Local Search for Integer Linear Programming. CoRR abs/2305.00188 (2023)
[i7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2311-14249
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2311-14249
Zhonghan Wang, Bohua Zhan, Bohan Li, Shaowei Cai:
Efficient Local Search for Nonlinear Real Arithmetic. CoRR abs/2311.14249 (2023)
2022
[i6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2211-10219
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2211-10219
Shaowei Cai, Bohan Li, Xindi Zhang:
Local Search For Satisfiability Modulo Integer Arithmetic Theories. CoRR abs/2211.10219 (2022)
2021
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2111-07568
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2111-07568
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
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2001-09398
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2001-09398
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)
2019
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1906-02578
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1906-02578
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)
2017
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/WangCY17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/WangCY17
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)
2014
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/CaiSLS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CaiSLS14
Shaowei Cai, Kaile Su, Chuan Luo, Abdul Sattar:
NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover. CoRR abs/1402.0584 (2014)

Coauthor Index

see FAQ

a service of

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.