Shaowei Cai

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 31

Top Topics

Search Algorithm

Set Covering Problem

Boolean Optimization

Top Venues

Publications

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 (2024)
Mengyu Zhao, Shaowei Cai, Yuhang Qian
Distributed SMT Solving Based on Dynamic Variable-Level Partitioning. CAV (1) (2024)
Zhihan Chen, Peng Lin, Hao Hu, Shaowei Cai
ParLS-PBO: A Parallel Local Search Solver for Pseudo Boolean Optimization. CoRR (2024)
Yi Chu, Chu-Min Li, Furong Ye, Shaowei Cai
Enhancing MaxSAT Local Search via a Unified Soft Clause Weighting Scheme. SAT (2024)
Furong Ye, Chuan Luo, Shaowei Cai
Better Understandings and Configurations in MaxSAT Local Search Solvers via Anytime Performance Analysis. CoRR (2024)
Yan Li, Yundu Huang, Wuyang Mao, Furong Ye, Xiang He, Zhonglin Zu, Shaowei Cai
Bi-Objective Contract Allocation for Guaranteed Delivery Advertising. KDD (2024)
Kun Ma, Yongjian Li, Shaowei Cai, Yongxin Zhao
A local search approach to protocol verification. Theor. Comput. Sci. 1008 (2024)
Xindi Zhang, Bohan Li, Shaowei Cai
Deep Combination of CDCL(T) and Local Search for Satisfiability Modulo Non-Linear Integer Arithmetic Theory. ICSE (2024)
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) (2024)
Zhonghan Wang, Bohua Zhan, Bohan Li, Shaowei Cai
Efficient Local Search for Nonlinear Real Arithmetic. VMCAI (1) (2024)
Xindi Zhang, Zhihan Chen, Shaowei Cai
Revisiting Restarts of CDCL: Should the Search Information be Preserved? CoRR (2024)
Zhihan Chen, Peng Lin, Hao Hu, Shaowei Cai
ParLS-PBO: A Parallel Local Search Solver for Pseudo Boolean Optimization. CP (2024)
Xiang He, Bohan Li, Mengyu Zhao, Shaowei Cai
A Local Search Algorithm for MaxSMT(LIA). CoRR (2024)
Zhiteng Chao, Xindi Zhang, Junying Huang, Jing Ye, Shaowei Cai, Huawei Li, Xiaowei Li
A Fast Test Compaction Method for Commercial DFT Flow Using Dedicated Pure-MaxSAT Solver. ASPDAC (2024)
Yiwen Sun, Xianyin Zhang, Shiyu Huang, Shaowei Cai, Bing-Zhen Zhang, Ke Wei
AutoSAT: Automatically Optimize SAT Solvers via Large Language Models. CoRR (2024)
Peng Lin, Mengchuan Zou, Shaowei Cai
An Efficient Local Search Solver for Mixed Integer Programming. CP (2024)
Bohan Li, Shaowei Cai
Local Search For SMT On Linear and Multi-linear Real Arithmetic. FMCAD (2023)
Yiyuan Wang, Chenghou Jin, Shaowei Cai, Qingwei Lin
PathLAD+: An Improved Exact Algorithm for Subgraph Isomorphism Problem. IJCAI (2023)
Shaowei Cai
Local Search and Its Application in CDCL/CDCL(T) solvers for SAT/SMT. FMCAD (2023)
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)
Chuan Luo, Jianping Song, Qiyuan Zhao, Yibei Li, Shaowei Cai, Chunming Hu
Generating Pairwise Covering Arrays for Highly Configurable Software Systems. SPLC (A) (2023)
Zhihan Chen, Xindi Zhang, Yuhang Qian, Qiang Xu, Shaowei Cai
Integrating Exact Simulation into Sweeping for Datapath Combinational Equivalence Checking. ICCAD (2023)
Yi Chu, Shaowei Cai, Chuan Luo, Zhendong Lei, Cong Peng
Towards More Efficient Local Search for Pseudo-Boolean Optimization. CP (2023)
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)
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) (2023)
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)
Peng Lin, Shaowei Cai, Mengchuan Zou, Jinkun Lin
Local Search for Integer Linear Programming. CoRR (2023)
Jian Gao, Xiaoxia Tao, Shaowei Cai
Towards more efficient local search algorithms for constrained clustering. Inf. Sci. 621 (2023)
Shaowei Cai, Bohan Li, Xindi Zhang
Local Search For Satisfiability Modulo Integer Arithmetic Theories. ACM Trans. Comput. Log. 24 (4) (2023)
Yi Chu, Shaowei Cai, Chuan Luo
NuWLS: Improving Local Search for (Weighted) Partial MaxSAT by New Weighting Techniques. AAAI (2023)
Min Li, Zhengyuan Shi, Qiuxia Lai, Sadaf Khan, Shaowei Cai, Qiang Xu
On EDA-Driven Learning for SAT Solving. DAC (2023)