Shaowei Cai - RankMe

158 papers A* 49A 16B 4C 3Journal 73Unranked 13

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	CirOPT: Toward Effective Combinational Equivalence Checking via Compiler Optimization. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Shaoke Cui, Chuan Luo, Zhenwei Yang, Jiabao Lin, Wei Wu, Chanjuan Liu, Shaowei Cai, Chunming Hu
2026	J	`jnl`	Datapath Combinational Equivalence Checking With Hybrid Sweeping Engines and Parallelization. ACM Trans. Design Autom. Electr. Syst. Zhihan Chen, Xindi Zhang, Yuhang Qian, Shaowei Cai
2025	J	`jnl`	A fast test compaction method using dedicated Pure MaxSAT solver embedded in DFT flow. Integr. Zhiteng Chao, Xindi Zhang, JunYing Huang, Zizhen Liu, Yixuan Zhao, Jing Ye, Shaowei Cai, Huawei Li, Xiaowei Li
2025	A*	`conf`	An Efficient Core-Guided Solver for Weighted Partial MaxSAT. IJCAI Shiwei Pan, Yiyuan Wang, Shaowei Cai
2025	J	`jnl`	AutoPBO: LLM-powered Optimization for Local Search PBO Solvers. CoRR Jinyuan Li, Yi Chu, Yiwen Sun, Mengchuan Zou, Shaowei Cai
2025	J	`jnl`	Automatically discovering heuristics in a complex SAT solver with large language models. CoRR Yiwen Sun, Furong Ye, Zhihan Chen, Ke Wei, Shaowei Cai
2025	A*	`conf`	Better Understandings and Configurations in MaxSAT Stochastic Local Search Solvers via Anytime Performance Analysis. AAAI Furong Ye, Chuan Luo, Shaowei Cai
2025	J	`jnl`	Datapath Combinational Equivalence Checking With Hybrid Sweeping Engines and Parallelization. CoRR Zhihan Chen, Xindi Zhang, Yuhang Qian, Shaowei Cai
2025	J	`jnl`	FastLEC: Parallel Datapath Equivalence Checking with Hybrid Engines. CoRR Xindi Zhang, Furong Ye, Zhihan Chen, Shaowei Cai
2025	J	`jnl`	Improving Local Search Algorithm for Pseudo Boolean Optimization. J. Artif. Intell. Res. Yujiao Zhao, Yiyuan Wang, Yi Chu, Wenbo Zhou, Shaowei Cai, Minghao Yin
2025	A*	`conf`	Leveraging Critical Proof Obligations for Efficient IC3 Verification. DAC Lingfeng Zhu, Xindi Zhang, Yongjian Li, Shaowei Cai
2025	J	`jnl`	Local-MIP: Efficient local search for mixed integer programming. Artif. Intell. Peng Lin, Shaowei Cai, Mengchuan Zou, Jinkun Lin
2025	J	`jnl`	Optimizing local search-based partial MaxSAT solving via initial assignment prediction. Sci. China Inf. Sci. Chanjuan Liu, Guangyuan Liu, Chuan Luo, Shaowei Cai, Zhendong Lei, Wenjie Zhang, Yi Chu, Guojing Zhang
2025	A*	`conf`	Parallel Dynamic Partitioning for Datapath Combinational Equivalence Checking. DAC Shuai Zhou, Weikang Zhang, Xindi Zhang, Zite Jiang, Haihang You, Shaowei Cai
2025	A	`conf`	Parallel MIP Solving with Dynamic Task Decomposition. CP Peng Lin, Shaowei Cai, Mengchuan Zou, Shengqi Chen
2025	A*	`conf`	PastATPG: A Hybrid ATPG Framework for Better Test Compaction with Partial Assignment SAT. DAC Zhiteng Chao, Xindi Zhang, Xinyu Zhang, Jianan Mu, Zizhen Liu, Shengwen Liang, Shaowei Cai, Jing Ye, Xiaowei Li, Huawei Li
2025	A*	`conf`	SMTgazer: Learning to Schedule SMT Algorithms via Bayesian Optimization. ASE Chuan Luo, Shaoke Cui, Jianping Song, Xindi Zhang, Wei Wu, Chanjuan Liu, Shaowei Cai, Chunming Hu
2025	C	`conf`	Separation Between Walksat and DPLL. TAMC Tao Jiang, Shaowei Cai, Ziqun Li, Jiabao Lin, Yijia Chen
2025	A	`conf`	VeriSAT: the Hardware Design of Modern SAT Solver. ICCAD Yue Tao, Shaowei Cai
2025	A*	`conf`	X-SAT: An Efficient Circuit-Based SAT Solver. DAC Yuhang Qian, Zhihan Chen, Xindi Zhang, Shaowei Cai
2024	B	`conf`	A Fast Test Compaction Method for Commercial DFT Flow Using Dedicated Pure-MaxSAT Solver. ASPDAC Zhiteng Chao, Xindi Zhang, JunYing Huang, Jing Ye, Shaowei Cai, Huawei Li, Xiaowei Li
2024	—	`conf`	A Local Search Algorithm for MaxSMT(LIA). FM (1) Xiang He, Bohan Li, Mengyu Zhao, Shaowei Cai
2024	J	`jnl`	A Local Search Algorithm for MaxSMT(LIA). CoRR Xiang He, Bohan Li, Mengyu Zhao, Shaowei Cai
2024	J	`jnl`	A local search approach to protocol verification. Theor. Comput. Sci. Kun Ma, Yongjian Li, Shaowei Cai, Yongxin Zhao
2024	A	`conf`	An Efficient Local Search Solver for Mixed Integer Programming. CP Peng Lin, Mengchuan Zou, Shaowei Cai
2024	J	`jnl`	AutoSAT: Automatically Optimize SAT Solvers via Large Language Models. CoRR Yiwen Sun, Furong Ye, Xianyin Zhang, Shiyu Huang, Bingzhen Zhang, Ke Wei, Shaowei Cai
2024	J	`jnl`	Better Understandings and Configurations in MaxSAT Local Search Solvers via Anytime Performance Analysis. CoRR Furong Ye, Chuan Luo, Shaowei Cai
2024	A*	`conf`	Bi-Objective Contract Allocation for Guaranteed Delivery Advertising. KDD Yan Li, Yundu Huang, Wuyang Mao, Furong Ye, Xiang He, Zhonglin Zu, Shaowei Cai
2024	A*	`conf`	Deep Combination of CDCL(T) and Local Search for Satisfiability Modulo Non-Linear Integer Arithmetic Theory. ICSE Xindi Zhang, Bohan Li, Shaowei Cai
2024	—	`conf`	Distributed SMT Solving Based on Dynamic Variable-Level Partitioning. CAV (1) Mengyu Zhao, Shaowei Cai, Yuhang Qian
2024	—	`conf`	Efficient Local Search for Nonlinear Real Arithmetic. VMCAI (1) Zhonghan Wang, Bohua Zhan, Bohan Li, Shaowei Cai
2024	A	`conf`	Enhancing MaxSAT Local Search via a Unified Soft Clause Weighting Scheme. SAT Yi Chu, Chu-Min Li, Furong Ye, Shaowei Cai
2024	J	`jnl`	Goal-conflict identification based on local search and fast boundary-condition verification based on incremental satisfiability filter. J. Syst. Softw. Weilin Luo, Polong Chen, Hai Wan, Hongzhen Zhong, Shaowei Cai, Zhanhao Xiao
2024	J	`jnl`	Heuristic Search with Cut Point Based Strategy for Critical Node Problem. J. Comput. Sci. Technol. Zhihan Chen, Shaowei Cai, Jian Gao, Shike Ge, Chanjuan Liu, Jinkun Lin
2024	J	`jnl`	Improving two-mode algorithm via probabilistic selection for solving satisfiability problem. Inf. Sci. Huimin Fu, Shaowei Cai, Guanfeng Wu, Jun Liu, Xin Yang, Yang Xu
2024	J	`jnl`	Local Search for Integer Quadratic Programming. CoRR Xiang He, Peng Lin, Shaowei Cai
2024	J	`jnl`	NuSC: An Effective Local Search Algorithm for Solving the Set Covering Problem. IEEE Trans. Cybern. Chuan Luo, Wenqian Xing, Shaowei Cai, Chunming Hu
2024	J	`jnl`	OPTDTALS: Approximate Logic Synthesis via Optimal Decision Trees Approach. CoRR Hao Hu, Shaowei Cai
2024	A	`conf`	ParLS-PBO: A Parallel Local Search Solver for Pseudo Boolean Optimization. CP Zhihan Chen, Peng Lin, Hao Hu, Shaowei Cai
2024	J	`jnl`	ParLS-PBO: A Parallel Local Search Solver for Pseudo Boolean Optimization. CoRR Zhihan Chen, Peng Lin, Hao Hu, Shaowei Cai
2024	A*	`conf`	ParaILP: A Parallel Local Search Framework for Integer Linear Programming with Cooperative Evolution Mechanism. IJCAI Peng Lin, Mengchuan Zou, Zhihan Chen, Shaowei Cai
2024	J	`jnl`	PathLAD+: Towards effective exact methods for subgraph isomorphism problem. Artif. Intell. Yiyuan Wang, Chenghou Jin, Shaowei Cai
2024	J	`jnl`	Revisiting Restarts of CDCL: Should the Search Information be Preserved? CoRR Xindi Zhang, Zhihan Chen, Shaowei Cai
2024	J	`jnl`	SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout. CoRR Bohan Li, Dawei Li, Ming Fu, Shaowei Cai
2023	—	`conf`	CAmpactor: A Novel and Effective Local Search Algorithm for Optimizing Pairwise Covering Arrays. ESEC/SIGSOFT FSE Qiyuan Zhao, Chuan Luo, Shaowei Cai, Wei Wu, Jinkun Lin, Hongyu Zhang, Chunming Hu
2023	A*	`conf`	Can Graph Neural Networks Learn to Solve the MaxSAT Problem? (Student Abstract). AAAI Minghao Liu, Pei Huang, Fuqi Jia, Fan Zhang, Yuchen Sun, Shaowei Cai, Feifei Ma, Jian Zhang
2023	J	`jnl`	Efficient Local Search for Nonlinear Real Arithmetic. CoRR Zhonghan Wang, Bohua Zhan, Bohan Li, Shaowei Cai
2023	—	`conf`	Generating Pairwise Covering Arrays for Highly Configurable Software Systems. SPLC (A) Chuan Luo, Jianping Song, Qiyuan Zhao, Yibei Li, Shaowei Cai, Chunming Hu
2023	J	`jnl`	Improved local search for the minimum weight dominating set problem in massive graphs by using a deep optimization mechanism. Artif. Intell. Jiejiang Chen, Shaowei Cai, Yiyuan Wang, Wenhao Xu, Jia Ji, Minghao Yin
2023	A	`conf`	Improving Local Search for Pseudo Boolean Optimization by Fragile Scoring Function and Deep Optimization. CP Wenbo Zhou, Yujiao Zhao, Yiyuan Wang, Shaowei Cai, Shimao Wang, Xinyu Wang, Minghao Yin
2023	J	`jnl`	Incremental Satisfiability Modulo Theory for Verification of Deep Neural Networks. CoRR Pengfei Yang, Zhiming Chi, Zongxin Liu, Mengyu Zhao, Cheng-Chao Huang, Shaowei Cai, Lijun Zhang
2023	A	`conf`	Integrating Exact Simulation into Sweeping for Datapath Combinational Equivalence Checking. ICCAD Zhihan Chen, Xindi Zhang, Yuhang Qian, Qiang Xu, Shaowei Cai
2023	B	`conf`	Local Search For SMT On Linear and Multi-linear Real Arithmetic. FMCAD Bohan Li, Shaowei Cai
2023	J	`jnl`	Local Search For SMT On Linear and Multilinear Real Arithmetic. CoRR Bohan Li, Shaowei Cai
2023	J	`jnl`	Local Search For Satisfiability Modulo Integer Arithmetic Theories. ACM Trans. Comput. Log. Shaowei Cai, Bohan Li, Xindi Zhang
2023	B	`conf`	Local Search and Its Application in CDCL/CDCL(T) solvers for SAT/SMT. FMCAD Shaowei Cai
2023	J	`jnl`	Local Search for Integer Linear Programming. CoRR Peng Lin, Shaowei Cai, Mengchuan Zou, Jinkun Lin
2023	A*	`conf`	NuWLS: Improving Local Search for (Weighted) Partial MaxSAT by New Weighting Techniques. AAAI Yi Chu, Shaowei Cai, Chuan Luo
2023	A*	`conf`	On EDA-Driven Learning for SAT Solving. DAC Min Li, Zhengyuan Shi, Qiuxia Lai, Sadaf Khan, Shaowei Cai, Qiang Xu
2023	A*	`conf`	PathLAD+: An Improved Exact Algorithm for Subgraph Isomorphism Problem. IJCAI Yiyuan Wang, Chenghou Jin, Shaowei Cai, Qingwei Lin
2023	J	`jnl`	Preface to the Special Issue on Constraint Solving and Theorem Proving. Int. J. Softw. Informatics Shaowei Cai, Zhenbang Chen, Ji Wang, Bohua Zhan, Yongwang Zhao
2023	A	`conf`	Towards More Efficient Local Search for Pseudo-Boolean Optimization. CP Yi Chu, Shaowei Cai, Chuan Luo, Zhendong Lei, Cong Peng
2023	J	`jnl`	Towards more efficient local search algorithms for constrained clustering. Inf. Sci. Jian Gao, Xiaoxia Tao, Shaowei Cai
2022	J	`jnl`	Better Decision Heuristics in CDCL through Local Search and Target Phases. J. Artif. Intell. Res. Shaowei Cai, Xindi Zhang, Mathias Fleury, Armin Biere
2022	A*	`conf`	Deep Cooperation of CDCL and Local Search for SAT (Extended Abstract). IJCAI Shaowei Cai, Xindi Zhang
2022	A*	`conf`	Improving Local Search Algorithms via Probabilistic Configuration Checking. AAAI Weilin Luo, Rongzhen Ye, Hai Wan, Shaowei Cai, Biqing Fang, Delong Zhang
2022	J	`jnl`	Improving Simulated Annealing for Clique Partitioning Problems. J. Artif. Intell. Res. Jian Gao, Yiqi Lv, Minghao Liu, Shaowei Cai, Feifei Ma
2022	J	`jnl`	Local Search For Satisfiability Modulo Integer Arithmetic Theories. CoRR Shaowei Cai, Bohan Li, Xindi Zhang
2022	—	`conf`	Local Search for SMT on Linear Integer Arithmetic. CAV (2) Shaowei Cai, Bohan Li, Xindi Zhang
2022	A*	`conf`	NukCP: An Improved Local Search Algorithm for Maximum k-Club Problem. AAAI Jiejiang Chen, Yiyuan Wang, Shaowei Cai, Minghao Yin, Yupeng Zhou, Jieyu Wu
2022	—	`conf`	SamplingCA: effective and efficient sampling-based pairwise testing for highly configurable software systems. ESEC/SIGSOFT FSE Chuan Luo, Qiyuan Zhao, Shaowei Cai, Hongyu Zhang, Chunming Hu
2021	J	`jnl`	A Semi-exact Algorithm for Quickly Computing A Maximum Weight Clique in Large Sparse Graphs. J. Artif. Intell. Res. Shaowei Cai, Jinkun Lin, Yiyuan Wang, Darren Strash
2021	A*	`conf`	AutoCCAG: An Automated Approach to Constrained Covering Array Generation. ICSE Chuan Luo, Jinkun Lin, Shaowei Cai, Xin Chen, Bing He, Bo Qiao, Pu Zhao, Qingwei Lin, Hongyu Zhang, Wei Wu, Saravanakumar Rajmohan, Dongmei Zhang
2021	J	`jnl`	Can Graph Neural Networks Learn to Solve MaxSAT Problem? CoRR Minghao Liu, Fuqi Jia, Pei Huang, Fan Zhang, Yuchen Sun, Shaowei Cai, Feifei Ma, Jian Zhang
2021	A*	`conf`	Correlation-Aware Heuristic Search for Intelligent Virtual Machine Provisioning in Cloud Systems. AAAI 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
2021	A	`conf`	Deep Cooperation of CDCL and Local Search for SAT. SAT Shaowei Cai, Xindi Zhang
2021	J	`jnl`	Efficient Local Search based on Dynamic Connectivity Maintenance for Minimum Connected Dominating Set. J. Artif. Intell. Res. Xindi Zhang, Bohan Li, Shaowei Cai, Yiyuan Wang
2021	A	`conf`	Efficient Local Search for Pseudo Boolean Optimization. SAT Zhendong Lei, Shaowei Cai, Chuan Luo, Holger H. Hoos
2021	—	`conf`	FastCA: An Effective and Efficient Tool for Combinatorial Covering Array Generation. ICSE (Companion Volume) Jinkun Lin, Shaowei Cai, Bing He, Yingjie Fu, Chuan Luo, Qingwei Lin
2021	A	`conf`	Improving Local Search for Minimum Weighted Connected Dominating Set Problem by Inner-Layer Local Search. CP Bohan Li, Kai Wang, Yiyuan Wang, Shaowei Cai
2021	A	`conf`	Improving Local Search for Structured SAT Formulas via Unit Propagation Based Construct and Cut Initialization (Short Paper). CP Shaowei Cai, Chuan Luo, Xindi Zhang, Jian Zhang
2021	A*	`conf`	NuQClq: An Effective Local Search Algorithm for Maximum Quasi-Clique Problem. AAAI Jiejiang Chen, Shaowei Cai, Shiwei Pan, Yiyuan Wang, Qingwei Lin, Mengyu Zhao, Minghao Yin
2021	A*	`conf`	PULNS: Positive-Unlabeled Learning with Effective Negative Sample Selector. AAAI Chuan Luo, Pu Zhao, Chen Chen, Bo Qiao, Chao Du, Hongyu Zhang, Wei Wu, Shaowei Cai, Bing He, Saravanakumar Rajmohan, Qingwei Lin
2020	J	`jnl`	An efficient local search algorithm for solving maximum edge weight clique problem in large graphs. J. Comb. Optim. Yi Chu, Boxiao Liu, Shaowei Cai, Chuan Luo, Haihang You
2020	—	`conf`	Efficient incident identification from multi-dimensional issue reports via meta-heuristic search. ESEC/SIGSOFT FSE 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
2020	A*	`conf`	Extended Conjunctive Normal Form and An Efficient Algorithm for Cardinality Constraints. IJCAI Zhendong Lei, Shaowei Cai, Chuan Luo
2020	A*	`conf`	Local Search with Dynamic-Threshold Configuration Checking and Incremental Neighborhood Updating for Maximum k-plex Problem. AAAI Peilin Chen, Hai Wan, Shaowei Cai, Jia Li, Haicheng Chen
2020	A*	`conf`	NLocalSAT: Boosting Local Search with Solution Prediction. IJCAI Wenjie Zhang, Zeyu Sun, Qihao Zhu, Ge Li, Shaowei Cai, Yingfei Xiong, Lu Zhang
2020	J	`jnl`	NLocalSAT: Boosting Local Search with Solution Prediction. CoRR Wenjie Zhang, Zeyu Sun, Qihao Zhu, Ge Li, Shaowei Cai, Yingfei Xiong, Lu Zhang
2020	A*	`conf`	NuCDS: An Efficient Local Search Algorithm for Minimum Connected Dominating Set. IJCAI Bohan Li, Xindi Zhang, Shaowei Cai, Jinkun Lin, Yiyuan Wang, Christian Blum
2020	J	`jnl`	NuDist: An Efficient Local Search Algorithm for (Weighted) Partial MaxSAT. Comput. J. Zhendong Lei, Shaowei Cai
2020	J	`jnl`	NuMWVC: A novel local search for minimum weighted vertex cover problem. J. Oper. Res. Soc. Ruizhi Li, Shuli Hu, Shaowei Cai, Jian Gao, Yiyuan Wang, Minghao Yin
2020	J	`jnl`	Old techniques in new ways: Clause weighting, unit propagation and hybridization for maximum satisfiability. Artif. Intell. Shaowei Cai, Zhendong Lei
2020	—	`conf`	PbO-CCSAT: Boosting Local Search for Satisfiability Using Programming by Optimisation. PPSN (1) Chuan Luo, Holger H. Hoos, Shaowei Cai
2020	A	`conf`	Pure MaxSAT and Its Applications to Combinatorial Optimization via Linear Local Search. CP Shaowei Cai, Xindi Zhang
2020	A*	`conf`	Reduction and Local Search for Weighted Graph Coloring Problem. AAAI Yiyuan Wang, Shaowei Cai, Shiwei Pan, Ximing Li, Minghao Yin
2020	J	`jnl`	SCCWalk: An efficient local search algorithm and its improvements for maximum weight clique problem. Artif. Intell. Yiyuan Wang, Shaowei Cai, Jiejiang Chen, Minghao Yin
2020	A*	`conf`	Solving Set Cover and Dominating Set via Maximum Satisfiability. AAAI Zhendong Lei, Shaowei Cai
2020	A*	`conf`	Two-goal Local Search and Inference Rules for Minimum Dominating Set. IJCAI Shaowei Cai, Wenying Hou, Yiyuan Wang, Chuan Luo, Qingwei Lin
2020	J	`jnl`	WCA: A weighting local search for constrained combinatorial test optimization. Inf. Softw. Technol. Yingjie Fu, Zhendong Lei, Shaowei Cai, Jinkun Lin, Haoran Wang
2019	J	`jnl`	A set of new multi- and many-objective test problems for continuous optimization and a comprehensive experimental evaluation. Artif. Intell. Yuren Zhou, Xiaoyu He, Yi Xiang, Shaowei Cai
2019	J	`jnl`	Combining Reinforcement Learning and Configuration Checking for Maximum k-plex Problem. CoRR Peilin Chen, Hai Wan, Shaowei Cai, Weilin Luo, Jia Li
2019	J	`jnl`	Constrained maximum weighted bipartite matching: a novel approach to radio broadcast scheduling. Sci. China Inf. Sci. Shaojiang Wang, Tianyong Wu, Yuan Yao, Dongbo Bu, Shaowei Cai
2019	J	`jnl`	Empirical investigation of stochastic local search for maximum satisfiability. Frontiers Comput. Sci. Yi Chu, Chuan Luo, Shaowei Cai, Haihang You
2019	A*	`conf`	Local Search with Efficient Automatic Configuration for Minimum Vertex Cover. IJCAI Chuan Luo, Holger H. Hoos, Shaowei Cai, Qingwei Lin, Hongyu Zhang, Dongmei Zhang
2019	J	`jnl`	Towards faster local search for minimum weight vertex cover on massive graphs. Inf. Sci. Shaowei Cai, Yuanjie Li, Wenying Hou, Haoran Wang
2019	—	`conf`	Towards more efficient meta-heuristic algorithms for combinatorial test generation. ESEC/SIGSOFT FSE Jinkun Lin, Shaowei Cai, Chuan Luo, Qingwei Lin, Hongyu Zhang
2018	A*	`conf`	A Fast Local Search Algorithm for Minimum Weight Dominating Set Problem on Massive Graphs. IJCAI Yiyuan Wang, Shaowei Cai, Jiejiang Chen, Minghao Yin
2018	J	`jnl`	An Automatic Proving Approach to Parameterized Verification. ACM Trans. Comput. Log. Yongjian Li, Kaiqiang Duan, David N. Jansen, Jun Pang, Lijun Zhang, Yi Lv, Shaowei Cai
2018	J	`jnl`	Efficient zonal diagnosis with maximum satisfiability. Sci. China Inf. Sci. Meng Liu, Dantong Ouyang, Shaowei Cai, Liming Zhang
2018	—	`conf`	FPGA Acceleration to Solve Maximum Clique Problems Encoded into Partial MaxSAT. MCSoC Kenji Kanazawa, Shaowei Cai
2018	A*	`conf`	Improving Local Search for Minimum Weight Vertex Cover by Dynamic Strategies. IJCAI Shaowei Cai, Wenying Hou, Jinkun Lin, Yuanjie Li
2018	J	`jnl`	New heuristic approaches for maximum balanced biclique problem. Inf. Sci. Yiyuan Wang, Shaowei Cai, Minghao Yin
2018	A*	`conf`	NuMWVC: A Novel Local Search for Minimum Weighted Vertex Cover Problem. AAAI Ruizhi Li, Shaowei Cai, Shuli Hu, Minghao Yin, Jian Gao
2018	A*	`conf`	Solving (Weighted) Partial MaxSAT by Dynamic Local Search for SAT. IJCAI Zhendong Lei, Shaowei Cai
2017	A*	`conf`	A Reduction based Method for Coloring Very Large Graphs. IJCAI Jinkun Lin, Shaowei Cai, Chuan Luo, Kaile Su
2017	—	`conf`	An Efficient Local Search Algorithm for Minimum Weighted Vertex Cover on Massive Graphs. SEAL Yuanjie Li, Shaowei Cai, Wenying Hou
2017	J	`jnl`	An efficient local search algorithm for the winner determination problem. J. Heuristics Haochen Zhang, Shaowei Cai, Chuan Luo, Minghao Yin
2017	A*	`conf`	CCEHC: An Efficient Local Search Algorithm for Weighted Partial Maximum Satisfiability (Extended Abstract). IJCAI Chuan Luo, Shaowei Cai, Kaile Su, Wenxuan Huang
2017	J	`jnl`	CCEHC: An efficient local search algorithm for weighted partial maximum satisfiability. Artif. Intell. Chuan Luo, Shaowei Cai, Kaile Su, Wenxuan Huang
2017	J	`jnl`	Finding A Small Vertex Cover in Massive Sparse Graphs: Construct, Local Search, and Preprocess. J. Artif. Intell. Res. Shaowei Cai, Jinkun Lin, Chuan Luo
2017	A*	`conf`	From Decimation to Local Search and Back: A New Approach to MaxSAT. IJCAI Shaowei Cai, Chuan Luo, Haochen Zhang
2017	A*	`conf`	Local Search for Minimum Weight Dominating Set with Two-Level Configuration Checking and Frequency Based Scoring Function (Extended Abstract). IJCAI Yiyuan Wang, Shaowei Cai, Minghao Yin
2017	J	`jnl`	Local Search for Minimum Weight Dominating Set with Two-Level Configuration Checking and Frequency Based Scoring Function. CoRR Yiyuan Wang, Shaowei Cai, Minghao Yin
2017	J	`jnl`	Local Search for Minimum Weight Dominating Set with Two-Level Configuration Checking and Frequency Based Scoring Function. J. Artif. Intell. Res. Yiyuan Wang, Shaowei Cai, Minghao Yin
2017	C	`conf`	Turbo-Charging Dominating Set with an FPT Subroutine: Further Improvements and Experimental Analysis. TAMC Faisal N. Abu-Khzam, Shaowei Cai, Judith Egan, Peter Shaw, Kai Wang
2016	C	`conf`	A novel approach to parameterized verification of cache coherence protocols. ICCD Yongjian Li, Kaiqiang Duan, Yi Lv, Jun Pang, Shaowei Cai
2016	J	`jnl`	An FPGA Solver for Partial MaxSAT Problems Based on Stochastic Local Search. SIGARCH Comput. Archit. News Shohei Sassa, Kenji Kanazawa, Shaowei Cai, Moritoshi Yasunaga
2016	A*	`conf`	Fast Solving Maximum Weight Clique Problem in Massive Graphs. IJCAI Shaowei Cai, Jinkun Lin
2016	J	`jnl`	New local search methods for partial MaxSAT. Artif. Intell. Shaowei Cai, Chuan Luo, Jinkun Lin, Kaile Su
2016	A*	`conf`	Two Efficient Local Search Algorithms for Maximum Weight Clique Problem. AAAI Yiyuan Wang, Shaowei Cai, Minghao Yin
2015	J	`jnl`	An I/O Efficient Approach for Detecting All Accepting Cycles. IEEE Trans. Software Eng. Lijun Wu, Kaile Su, Shaowei Cai, Xiaosong Zhang, Chenyi Zhang, Shupeng Wang
2015	J	`jnl`	An I/O Efficient Model Checking Algorithm for Large-Scale Systems. IEEE Trans. Very Large Scale Integr. Syst. Lijun Wu, Huijia Huang, Kaile Su, Shaowei Cai, Xiaosong Zhang
2015	J	`jnl`	An effective variable selection heuristic in SLS for weighted Max-2-SAT. J. Heuristics Shaowei Cai, Zhong Jie, Kaile Su
2015	A*	`conf`	Balance between Complexity and Quality: Local Search for Minimum Vertex Cover in Massive Graphs. IJCAI Shaowei Cai
2015	A	`conf`	CCAnr: A Configuration Checking Based Local Search Solver for Non-random Satisfiability. SAT Shaowei Cai, Chuan Luo, Kaile Su
2015	J	`jnl`	CCLS: An Efficient Local Search Algorithm for Weighted Maximum Satisfiability. IEEE Trans. Computers Chuan Luo, Shaowei Cai, Wei Wu, Zhong Jie, Kaile Su
2015	J	`jnl`	Clause States Based Configuration Checking in Local Search for Satisfiability. IEEE Trans. Cybern. Chuan Luo, Shaowei Cai, Kaile Su, Wei Wu
2015	J	`jnl`	Improving WalkSAT By Effective Tie-Breaking and Efficient Implementation. Comput. J. Shaowei Cai, Chuan Luo, Kaile Su
2015	A*	`conf`	TCA: An Efficient Two-Mode Meta-Heuristic Algorithm for Combinatorial Test Generation (T). ASE Jinkun Lin, Chuan Luo, Shaowei Cai, Kaile Su, Dan Hao, Lu Zhang
2015	A*	`conf`	Two Weighting Local Search for Minimum Vertex Cover. AAAI Shaowei Cai, Jinkun Lin, Kaile Su
2014	A*	`conf`	Double Configuration Checking in Stochastic Local Search for Satisfiability. AAAI Chuan Luo, Shaowei Cai, Wei Wu, Kaile Su
2014	J	`jnl`	More efficient two-mode stochastic local search for random 3-satisfiability. Appl. Intell. Chuan Luo, Kaile Su, Shaowei Cai
2014	J	`jnl`	NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover. CoRR Shaowei Cai, Kaile Su, Chuan Luo, Abdul Sattar
2014	J	`jnl`	Scoring Functions Based on Second Level Score for k-SAT with Long Clauses. J. Artif. Intell. Res. Shaowei Cai, Chuan Luo, Kaile Su
2014	A*	`conf`	Tailoring Local Search for Partial MaxSAT. AAAI Shaowei Cai, Chuan Luo, John Thornton, Kaile Su
2013	J	`jnl`	A clique-superposition model for social networks. Sci. China Inf. Sci. Fei Yan, Shaowei Cai, Ming Zhang, Guojun Liu, Zhi-Hong Deng
2013	A*	`conf`	Comprehensive Score: Towards Efficient Local Search for SAT with Long Clauses. IJCAI Shaowei Cai, Kaile Su
2013	A	`conf`	Focused Random Walk with Configuration Checking and Break Minimum for Satisfiability. CP Chuan Luo, Shaowei Cai, Wei Wu, Kaile Su
2013	A*	`conf`	Improving WalkSAT for Random k-Satisfiability Problem with k > 3. AAAI Shaowei Cai, Kaile Su, Chuan Luo
2013	J	`jnl`	Local search for Boolean Satisfiability with configuration checking and subscore. Artif. Intell. Shaowei Cai, Kaile Su
2013	J	`jnl`	NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover. J. Artif. Intell. Res. Shaowei Cai, Kaile Su, Chuan Luo, Abdul Sattar
2012	A*	`conf`	Configuration Checking with Aspiration in Local Search for SAT. AAAI Shaowei Cai, Kaile Su
2012	A	`conf`	Improving Local Search for Random 3-SAT Using Quantitative Configuration Checking. ECAI Chuan Luo, Kaile Su, Shaowei Cai
2012	A*	`conf`	Two New Local Search Strategies for Minimum Vertex Cover. AAAI Shaowei Cai, Kaile Su, Abdul Sattar
2011	B	`conf`	Local Search with Configuration Checking for SAT. ICTAI Shaowei Cai, Kaile Su
2011	J	`jnl`	Local search with edge weighting and configuration checking heuristics for minimum vertex cover. Artif. Intell. Shaowei Cai, Kaile Su, Abdul Sattar
2010	A*	`conf`	EWLS: A New Local Search for Minimum Vertex Cover. AAAI Shaowei Cai, Kaile Su, Qingliang Chen