Shaowei Cai

According to our database, Shaowei Cai authored at least 130 papers between 2010 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

A fast test compaction method using dedicated Pure MaxSAT solver embedded in DFT flow.

Zhiteng Chao, Xindi Zhang, Junying Huang, Zizhen Liu, Yixuan Zhao, Jing Ye, Shaowei Cai, Huawei Li, Xiaowei Li

Integr., 2025

2024

NuSC: An Effective Local Search Algorithm for Solving the Set Covering Problem.

Chuan Luo, Wenqian Xing, Shaowei Cai, Chunming Hu

IEEE Trans. Cybern., March, 2024

Improving two-mode algorithm via probabilistic selection for solving satisfiability problem.

Huimin Fu, Shaowei Cai, Guanfeng Wu, Jun Liu, Xin Yang, Yang Xu

Inf. Sci., January, 2024

A local search approach to protocol verification.

Kun Ma, Yongjian Li, Shaowei Cai, Yongxin Zhao

Theor. Comput. Sci., 2024

Goal-conflict identification based on local search and fast boundary-condition verification based on incremental satisfiability filter.

Weilin Luo, Polong Chen, Hai Wan, Hongzhen Zhong, Shaowei Cai, Zhanhao Xiao

J. Syst. Softw., 2024

Local Search for Integer Quadratic Programming.

Xiang He, Peng Lin, Shaowei Cai

CoRR, 2024

OPTDTALS: Approximate Logic Synthesis via Optimal Decision Trees Approach.

Hao Hu, Shaowei Cai

CoRR, 2024

Revisiting Restarts of CDCL: Should the Search Information be Preserved?

Xindi Zhang, Zhihan Chen, Shaowei Cai

CoRR, 2024

Better Understandings and Configurations in MaxSAT Local Search Solvers via Anytime Performance Analysis.

Furong Ye, Chuan Luo, Shaowei Cai

CoRR, 2024

AutoSAT: Automatically Optimize SAT Solvers via Large Language Models.

Yiwen Sun, Xianyin Zhang, Shiyu Huang, Shaowei Cai, Bing-Zhen Zhang, Ke Wei

CoRR, 2024

PathLAD+: Towards effective exact methods for subgraph isomorphism problem.

Yiyuan Wang, Chenghou Jin, Shaowei Cai

Artif. Intell., 2024

Efficient Local Search for Nonlinear Real Arithmetic.

Zhonghan Wang, Bohua Zhan, Bohan Li, Shaowei Cai

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

Enhancing MaxSAT Local Search via a Unified Soft Clause Weighting Scheme.

Yi Chu, Chu-Min Li, Furong Ye, Shaowei Cai

Proceedings of the 27th International Conference on Theory and Applications of Satisfiability Testing, 2024

Bi-Objective Contract Allocation for Guaranteed Delivery Advertising.

Yan Li, Yundu Huang, Wuyang Mao, Furong Ye, Xiang He, Zhonglin Zu, Shaowei Cai

Proceedings of the 30th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2024

ParaILP: A Parallel Local Search Framework for Integer Linear Programming with Cooperative Evolution Mechanism.

Peng Lin, Mengchuan Zou, Zhihan Chen, Shaowei Cai

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

Deep Combination of CDCL(T) and Local Search for Satisfiability Modulo Non-Linear Integer Arithmetic Theory.

Xindi Zhang, Bohan Li, Shaowei Cai

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

A Local Search Algorithm for MaxSMT(LIA).

Xiang He, Bohan Li, Mengyu Zhao, Shaowei Cai

Proceedings of the Formal Methods - 26th International Symposium, 2024

An Efficient Local Search Solver for Mixed Integer Programming.

Peng Lin, Mengchuan Zou, Shaowei Cai

Proceedings of the 30th International Conference on Principles and Practice of Constraint Programming, 2024

ParLS-PBO: A Parallel Local Search Solver for Pseudo Boolean Optimization.

Zhihan Chen, Peng Lin, Hao Hu, Shaowei Cai

Proceedings of the 30th International Conference on Principles and Practice of Constraint Programming, 2024

Distributed SMT Solving Based on Dynamic Variable-Level Partitioning.

Mengyu Zhao, Shaowei Cai, Yuhang Qian

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

A Fast Test Compaction Method for Commercial DFT Flow Using Dedicated Pure-MaxSAT Solver.

Zhiteng Chao, Xindi Zhang, Junying Huang, Jing Ye, Shaowei Cai, Huawei Li, Xiaowei Li

Proceedings of the 29th Asia and South Pacific Design Automation Conference, 2024

2023

Local Search For Satisfiability Modulo Integer Arithmetic Theories.

Shaowei Cai, Bohan Li, Xindi Zhang

ACM Trans. Comput. Log., October, 2023

Towards more efficient local search algorithms for constrained clustering.

Jian Gao, Xiaoxia Tao, Shaowei Cai

Inf. Sci., April, 2023

Preface to the Special Issue on Constraint Solving and Theorem Proving.

Shaowei Cai, Zhenbang Chen, Ji Wang, Bohua Zhan, Yongwang Zhao

Int. J. Softw. Informatics, 2023

Local Search for Integer Linear Programming.

Peng Lin, Shaowei Cai, Mengchuan Zou, Jinkun Lin

CoRR, 2023

Local Search For SMT On Linear and Multilinear Real Arithmetic.

Bohan Li, Shaowei Cai

CoRR, 2023

Incremental Satisfiability Modulo Theory for Verification of Deep Neural Networks.

Pengfei Yang, Zhiming Chi, Zongxin Liu, Mengyu Zhao, Cheng-Chao Huang, Shaowei Cai, Lijun Zhang

CoRR, 2023

Improved local search for the minimum weight dominating set problem in massive graphs by using a deep optimization mechanism.

Jiejiang Chen, Shaowei Cai, Yiyuan Wang, Wenhao Xu, Jia Ji, Minghao Yin

Artif. Intell., 2023

Generating Pairwise Covering Arrays for Highly Configurable Software Systems.

Chuan Luo, Jianping Song, Qiyuan Zhao, Yibei Li, Shaowei Cai, Chunming Hu

Proceedings of the 27th ACM International Systems and Software Product Line Conference, 2023

CAmpactor: A Novel and Effective Local Search Algorithm for Optimizing Pairwise Covering Arrays.

Qiyuan Zhao, Chuan Luo, Shaowei Cai, Wei Wu, Jinkun Lin, Hongyu Zhang, Chunming Hu

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

PathLAD+: An Improved Exact Algorithm for Subgraph Isomorphism Problem.

Yiyuan Wang, Chenghou Jin, Shaowei Cai, Qingwei Lin

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Integrating Exact Simulation into Sweeping for Datapath Combinational Equivalence Checking.

Zhihan Chen, Xindi Zhang, Yuhang Qian, Qiang Xu, Shaowei Cai

Proceedings of the IEEE/ACM International Conference on Computer Aided Design, 2023

Local Search For SMT On Linear and Multi-linear Real Arithmetic.

Bohan Li, Shaowei Cai

Proceedings of the Formal Methods in Computer-Aided Design, 2023

Local Search and Its Application in CDCL/CDCL(T) solvers for SAT/SMT.

Shaowei Cai

Proceedings of the Formal Methods in Computer-Aided Design, 2023

On EDA-Driven Learning for SAT Solving.

Min Li, Zhengyuan Shi, Qiuxia Lai, Sadaf Khan, Shaowei Cai, Qiang Xu

Proceedings of the 60th ACM/IEEE Design Automation Conference, 2023

Improving Local Search for Pseudo Boolean Optimization by Fragile Scoring Function and Deep Optimization.

Wenbo Zhou, Yujiao Zhao, Yiyuan Wang, Shaowei Cai, Shimao Wang, Xinyu Wang, Minghao Yin

Proceedings of the 29th International Conference on Principles and Practice of Constraint Programming, 2023

Towards More Efficient Local Search for Pseudo-Boolean Optimization.

Yi Chu, Shaowei Cai, Chuan Luo, Zhendong Lei, Cong Peng

Proceedings of the 29th International Conference on Principles and Practice of Constraint Programming, 2023

NuWLS: Improving Local Search for (Weighted) Partial MaxSAT by New Weighting Techniques.

Yi Chu, Shaowei Cai, Chuan Luo

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

Can Graph Neural Networks Learn to Solve the MaxSAT Problem? (Student Abstract).

Minghao Liu, Pei Huang, Fuqi Jia, Fan Zhang, Yuchen Sun, Shaowei Cai, Feifei Ma, Jian Zhang

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Improving Simulated Annealing for Clique Partitioning Problems.

Jian Gao, Yiqi Lv, Minghao Liu, Shaowei Cai, Feifei Ma

J. Artif. Intell. Res., 2022

Better Decision Heuristics in CDCL through Local Search and Target Phases.

Shaowei Cai, Xindi Zhang, Mathias Fleury, Armin Biere

J. Artif. Intell. Res., 2022

SamplingCA: effective and efficient sampling-based pairwise testing for highly configurable software systems.

Chuan Luo, Qiyuan Zhao, Shaowei Cai, Hongyu Zhang, Chunming Hu

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

Deep Cooperation of CDCL and Local Search for SAT (Extended Abstract).

Shaowei Cai, Xindi Zhang

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Local Search for SMT on Linear Integer Arithmetic.

Shaowei Cai, Bohan Li, Xindi Zhang

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

Improving Local Search Algorithms via Probabilistic Configuration Checking.

Weilin Luo, Rongzhen Ye, Hai Wan, Shaowei Cai, Biqing Fang, Delong Zhang

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

NukCP: An Improved Local Search Algorithm for Maximum k-Club Problem.

Jiejiang Chen, Yiyuan Wang, Shaowei Cai, Minghao Yin, Yupeng Zhou, Jieyu Wu

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Efficient Local Search based on Dynamic Connectivity Maintenance for Minimum Connected Dominating Set.

Xindi Zhang, Bohan Li, Shaowei Cai, Yiyuan Wang

J. Artif. Intell. Res., 2021

A Semi-exact Algorithm for Quickly Computing A Maximum Weight Clique in Large Sparse Graphs.

Shaowei Cai, Jinkun Lin, Yiyuan Wang, Darren Strash

J. Artif. Intell. Res., 2021

Can Graph Neural Networks Learn to Solve MaxSAT Problem?

Minghao Liu, Fuqi Jia, Pei Huang, Fan Zhang, Yuchen Sun, Shaowei Cai, Feifei Ma, Jian Zhang

CoRR, 2021

Efficient Local Search for Pseudo Boolean Optimization.

Zhendong Lei, Shaowei Cai, Chuan Luo, Holger H. Hoos

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2021, 2021

Deep Cooperation of CDCL and Local Search for SAT.

Shaowei Cai, Xindi Zhang

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2021, 2021

AutoCCAG: An Automated Approach to Constrained Covering Array Generation.

Chuan Luo, Jinkun Lin, Shaowei Cai, Xin Chen, Bing He, Bo Qiao, Pu Zhao, Qingwei Lin, Hongyu Zhang, Wei Wu, Saravanakumar Rajmohan, Dongmei Zhang

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

FastCA: An Effective and Efficient Tool for Combinatorial Covering Array Generation.

Jinkun Lin, Shaowei Cai, Bing He, Yingjie Fu, Chuan Luo, Qingwei Lin

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

Improving Local Search for Minimum Weighted Connected Dominating Set Problem by Inner-Layer Local Search.

Bohan Li, Kai Wang, Yiyuan Wang, Shaowei Cai

Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021

Improving Local Search for Structured SAT Formulas via Unit Propagation Based Construct and Cut Initialization (Short Paper).

Shaowei Cai, Chuan Luo, Xindi Zhang, Jian Zhang

Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021

PULNS: Positive-Unlabeled Learning with Effective Negative Sample Selector.

Chuan Luo, Pu Zhao, Chen Chen, Bo Qiao, Chao Du, Hongyu Zhang, Wei Wu, Shaowei Cai, Bing He, Saravanakumar Rajmohan, Qingwei Lin

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

Correlation-Aware Heuristic Search for Intelligent Virtual Machine Provisioning in Cloud Systems.

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

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

NuQClq: An Effective Local Search Algorithm for Maximum Quasi-Clique Problem.

Jiejiang Chen, Shaowei Cai, Shiwei Pan, Yiyuan Wang, Qingwei Lin, Mengyu Zhao, Minghao Yin

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

NuMWVC: A novel local search for minimum weighted vertex cover problem.

Ruizhi Li, Shuli Hu, Shaowei Cai, Jian Gao, Yiyuan Wang, Minghao Yin

J. Oper. Res. Soc., 2020

An efficient local search algorithm for solving maximum edge weight clique problem in large graphs.

Yi Chu, Boxiao Liu, Shaowei Cai, Chuan Luo, Haihang You

J. Comb. Optim., 2020

WCA: A weighting local search for constrained combinatorial test optimization.

Yingjie Fu, Zhendong Lei, Shaowei Cai, Jinkun Lin, Haoran Wang

Inf. Softw. Technol., 2020

NuDist: An Efficient Local Search Algorithm for (Weighted) Partial MaxSAT.

Zhendong Lei, Shaowei Cai

Comput. J., 2020

SCCWalk: An efficient local search algorithm and its improvements for maximum weight clique problem.

Yiyuan Wang, Shaowei Cai, Jiejiang Chen, Minghao Yin

Artif. Intell., 2020

Old techniques in new ways: Clause weighting, unit propagation and hybridization for maximum satisfiability.

Shaowei Cai, Zhendong Lei

Artif. Intell., 2020

Efficient incident identification from multi-dimensional issue reports via meta-heuristic search.

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

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

PbO-CCSAT: Boosting Local Search for Satisfiability Using Programming by Optimisation.

Chuan Luo, Holger H. Hoos, Shaowei Cai

Proceedings of the Parallel Problem Solving from Nature - PPSN XVI, 2020

NLocalSAT: Boosting Local Search with Solution Prediction.

Wenjie Zhang, Zeyu Sun, Qihao Zhu, Ge Li, Shaowei Cai, Yingfei Xiong, Lu Zhang

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

NuCDS: An Efficient Local Search Algorithm for Minimum Connected Dominating Set.

Bohan Li, Xindi Zhang, Shaowei Cai, Jinkun Lin, Yiyuan Wang, Christian Blum

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Extended Conjunctive Normal Form and An Efficient Algorithm for Cardinality Constraints.

Zhendong Lei, Shaowei Cai, Chuan Luo

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Two-goal Local Search and Inference Rules for Minimum Dominating Set.

Shaowei Cai, Wenying Hou, Yiyuan Wang, Chuan Luo, Qingwei Lin

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Pure MaxSAT and Its Applications to Combinatorial Optimization via Linear Local Search.

Shaowei Cai, Xindi Zhang

Proceedings of the Principles and Practice of Constraint Programming, 2020

Reduction and Local Search for Weighted Graph Coloring Problem.

Yiyuan Wang, Shaowei Cai, Shiwei Pan, Ximing Li, Minghao Yin

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

Solving Set Cover and Dominating Set via Maximum Satisfiability.

Zhendong Lei, Shaowei Cai

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

Local Search with Dynamic-Threshold Configuration Checking and Incremental Neighborhood Updating for Maximum k-plex Problem.

Peilin Chen, Hai Wan, Shaowei Cai, Jia Li, Haicheng Chen

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Towards faster local search for minimum weight vertex cover on massive graphs.

Shaowei Cai, Yuanjie Li, Wenying Hou, Haoran Wang

Inf. Sci., 2019

Empirical investigation of stochastic local search for maximum satisfiability.

Yi Chu, Chuan Luo, Shaowei Cai, Haihang You

Frontiers Comput. Sci., 2019

Combining Reinforcement Learning and Configuration Checking for Maximum k-plex Problem.

Peilin Chen, Hai Wan, Shaowei Cai, Weilin Luo, Jia Li

CoRR, 2019

Constrained maximum weighted bipartite matching: a novel approach to radio broadcast scheduling.

Shaojiang Wang, Tianyong Wu, Yuan Yao, Dongbo Bu, Shaowei Cai

Sci. China Inf. Sci., 2019

A set of new multi- and many-objective test problems for continuous optimization and a comprehensive experimental evaluation.

Yuren Zhou, Xiaoyu He, Yi Xiang, Shaowei Cai

Artif. Intell., 2019

Towards more efficient meta-heuristic algorithms for combinatorial test generation.

Jinkun Lin, Shaowei Cai, Chuan Luo, Qingwei Lin, Hongyu Zhang

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Local Search with Efficient Automatic Configuration for Minimum Vertex Cover.

Chuan Luo, Holger H. Hoos, Shaowei Cai, Qingwei Lin, Hongyu Zhang, Dongmei Zhang

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

2018

An Automatic Proving Approach to Parameterized Verification.

Yongjian Li, Kaiqiang Duan, David N. Jansen, Jun Pang, Lijun Zhang, Yi Lv, Shaowei Cai

ACM Trans. Comput. Log., 2018

New heuristic approaches for maximum balanced biclique problem.

Yiyuan Wang, Shaowei Cai, Minghao Yin

Inf. Sci., 2018

Efficient zonal diagnosis with maximum satisfiability.

Meng Liu, Dantong Ouyang, Shaowei Cai, Liming Zhang

Sci. China Inf. Sci., 2018

FPGA Acceleration to Solve Maximum Clique Problems Encoded into Partial MaxSAT.

Kenji Kanazawa, Shaowei Cai

Proceedings of the 12th IEEE International Symposium on Embedded Multicore/Many-core Systems-on-Chip, 2018

A Fast Local Search Algorithm for Minimum Weight Dominating Set Problem on Massive Graphs.

Yiyuan Wang, Shaowei Cai, Jiejiang Chen, Minghao Yin

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Solving (Weighted) Partial MaxSAT by Dynamic Local Search for SAT.

Zhendong Lei, Shaowei Cai

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Improving Local Search for Minimum Weight Vertex Cover by Dynamic Strategies.

Shaowei Cai, Wenying Hou, Jinkun Lin, Yuanjie Li

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

NuMWVC: A Novel Local Search for Minimum Weighted Vertex Cover Problem.

Ruizhi Li, Shaowei Cai, Shuli Hu, Minghao Yin, Jian Gao

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

Local Search for Minimum Weight Dominating Set with Two-Level Configuration Checking and Frequency Based Scoring Function.

Yiyuan Wang, Shaowei Cai, Minghao Yin

J. Artif. Intell. Res., 2017

Finding A Small Vertex Cover in Massive Sparse Graphs: Construct, Local Search, and Preprocess.

Shaowei Cai, Jinkun Lin, Chuan Luo

J. Artif. Intell. Res., 2017

An efficient local search algorithm for the winner determination problem.

Haochen Zhang, Shaowei Cai, Chuan Luo, Minghao Yin

J. Heuristics, 2017

CCEHC: An efficient local search algorithm for weighted partial maximum satisfiability.

Chuan Luo, Shaowei Cai, Kaile Su, Wenxuan Huang

Artif. Intell., 2017

Turbo-Charging Dominating Set with an FPT Subroutine: Further Improvements and Experimental Analysis.

Faisal N. Abu-Khzam, Shaowei Cai, Judith Egan, Peter Shaw, Kai Wang

Proceedings of the Theory and Applications of Models of Computation, 2017

An Efficient Local Search Algorithm for Minimum Weighted Vertex Cover on Massive Graphs.

Yuanjie Li, Shaowei Cai, Wenying Hou

Proceedings of the Simulated Evolution and Learning - 11th International Conference, 2017

Local Search for Minimum Weight Dominating Set with Two-Level Configuration Checking and Frequency Based Scoring Function (Extended Abstract).

Yiyuan Wang, Shaowei Cai, Minghao Yin

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

CCEHC: An Efficient Local Search Algorithm for Weighted Partial Maximum Satisfiability (Extended Abstract).

Chuan Luo, Shaowei Cai, Kaile Su, Wenxuan Huang

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

A Reduction based Method for Coloring Very Large Graphs.

Jinkun Lin, Shaowei Cai, Chuan Luo, Kaile Su

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

From Decimation to Local Search and Back: A New Approach to MaxSAT.

Shaowei Cai, Chuan Luo, Haochen Zhang

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2016

An FPGA Solver for Partial MaxSAT Problems Based on Stochastic Local Search.

Shohei Sassa, Kenji Kanazawa, Shaowei Cai, Moritoshi Yasunaga

SIGARCH Comput. Archit. News, 2016

New local search methods for partial MaxSAT.

Shaowei Cai, Chuan Luo, Jinkun Lin, Kaile Su

Artif. Intell., 2016

Fast Solving Maximum Weight Clique Problem in Massive Graphs.

Shaowei Cai, Jinkun Lin

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

A novel approach to parameterized verification of cache coherence protocols.

Yongjian Li, Kaiqiang Duan, Yi Lv, Jun Pang, Shaowei Cai

Proceedings of the 34th IEEE International Conference on Computer Design, 2016

Two Efficient Local Search Algorithms for Maximum Weight Clique Problem.

Yiyuan Wang, Shaowei Cai, Minghao Yin

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

An I/O Efficient Model Checking Algorithm for Large-Scale Systems.

Lijun Wu, Huijia Huang, Kaile Su, Shaowei Cai, Xiaosong Zhang

IEEE Trans. Very Large Scale Integr. Syst., 2015

An I/O Efficient Approach for Detecting All Accepting Cycles.

Lijun Wu, Kaile Su, Shaowei Cai, Xiaosong Zhang, Chenyi Zhang, Shupeng Wang

IEEE Trans. Software Eng., 2015

Clause States Based Configuration Checking in Local Search for Satisfiability.

Chuan Luo, Shaowei Cai, Kaile Su, Wei Wu

IEEE Trans. Cybern., 2015

CCLS: An Efficient Local Search Algorithm for Weighted Maximum Satisfiability.

Chuan Luo, Shaowei Cai, Wei Wu, Zhong Jie, Kaile Su

IEEE Trans. Computers, 2015

An effective variable selection heuristic in SLS for weighted Max-2-SAT.

Shaowei Cai, Zhong Jie, Kaile Su

J. Heuristics, 2015

Improving WalkSAT By Effective Tie-Breaking and Efficient Implementation.

Shaowei Cai, Chuan Luo, Kaile Su

Comput. J., 2015

CCAnr: A Configuration Checking Based Local Search Solver for Non-random Satisfiability.

Shaowei Cai, Chuan Luo, Kaile Su

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2015, 2015

TCA: An Efficient Two-Mode Meta-Heuristic Algorithm for Combinatorial Test Generation (T).

Jinkun Lin, Chuan Luo, Shaowei Cai, Kaile Su, Dan Hao, Lu Zhang

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Balance between Complexity and Quality: Local Search for Minimum Vertex Cover in Massive Graphs.

Shaowei Cai

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Two Weighting Local Search for Minimum Vertex Cover.

Shaowei Cai, Jinkun Lin, Kaile Su

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Scoring Functions Based on Second Level Score for k-SAT with Long Clauses.

Shaowei Cai, Chuan Luo, Kaile Su

J. Artif. Intell. Res., 2014

More efficient two-mode stochastic local search for random 3-satisfiability.

Chuan Luo, Kaile Su, Shaowei Cai

Appl. Intell., 2014

Double Configuration Checking in Stochastic Local Search for Satisfiability.

Chuan Luo, Shaowei Cai, Wei Wu, Kaile Su

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

Tailoring Local Search for Partial MaxSAT.

Shaowei Cai, Chuan Luo, John Thornton, Kaile Su

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013

NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover.

Shaowei Cai, Kaile Su, Chuan Luo, Abdul Sattar

J. Artif. Intell. Res., 2013

A clique-superposition model for social networks.

Fei Yan, Shaowei Cai, Ming Zhang, Guojun Liu, Zhi-Hong Deng

Sci. China Inf. Sci., 2013

Local search for Boolean Satisfiability with configuration checking and subscore.

Shaowei Cai, Kaile Su

Artif. Intell., 2013

Comprehensive Score: Towards Efficient Local Search for SAT with Long Clauses.

Shaowei Cai, Kaile Su

Proceedings of the IJCAI 2013, 2013

Focused Random Walk with Configuration Checking and Break Minimum for Satisfiability.

Chuan Luo, Shaowei Cai, Wei Wu, Kaile Su

Proceedings of the Principles and Practice of Constraint Programming, 2013

Improving WalkSAT for Random k-Satisfiability Problem with k > 3.

Shaowei Cai, Kaile Su, Chuan Luo

Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013

2012

Improving Local Search for Random 3-SAT Using Quantitative Configuration Checking.

Chuan Luo, Kaile Su, Shaowei Cai

Proceedings of the ECAI 2012, 2012

Two New Local Search Strategies for Minimum Vertex Cover.

Shaowei Cai, Kaile Su, Abdul Sattar

Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

Configuration Checking with Aspiration in Local Search for SAT.

Shaowei Cai, Kaile Su

Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2011

Local search with edge weighting and configuration checking heuristics for minimum vertex cover.

Shaowei Cai, Kaile Su, Abdul Sattar

Artif. Intell., 2011

Local Search with Configuration Checking for SAT.

Shaowei Cai, Kaile Su

Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011

2010

EWLS: A New Local Search for Minimum Vertex Cover.

Shaowei Cai, Kaile Su, Qingliang Chen

Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010