CirOPT: Toward Effective Combinational Equivalence Checking via Compiler Optimization.

Shaowei Cai 0001 蔡少伟 Chinese Academy of Sciences, Institute of Software, State Key Laboratory of Computer Science, Beijing, China University of Chinese Academy of Sciences, School of Computer Science and Technology, Beijing, China Peking University, Key Laboratory of High Confidence Software Technologies https://lcs.ios.ac.cn/~caisw/ https://orcid.org/0000-0003-1730-6922 https://www.wikidata.org/entity/Q130824874 Shaowei Cai Shaowei Cai 0002 Southeast University, Nanjing, China

Shaoke Cui Chuan Luo 0002 Zhenwei Yang Jiabao Lin Wei Wu 0011 Chanjuan Liu 0001 Shaowei Cai 0001 Chunming Hu CirOPT: Toward Effective Combinational Equivalence Checking via Compiler Optimization. 2026 April 1841-1851 45 IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 4 https://doi.org/10.1109/TCAD.2025.3608060 db/journals/tcad/tcad45.html#CuiLYLWLCH26 streams/journals/tcad

Zhihan Chen 0001 Xindi Zhang 0001 Yuhang Qian Shaowei Cai 0001 Datapath Combinational Equivalence Checking With Hybrid Sweeping Engines and Parallelization. 18:1-18:27 2026 January 31 ACM Trans. Design Autom. Electr. Syst. 1 https://doi.org/10.1145/3773040 db/journals/todaes/todaes31.html#ChenZQC26 streams/journals/todaes

Xindi Zhang 0001 Furong Ye Zhihan Chen 0001 Shaowei Cai 0001 FastLEC: Parallel Datapath Equivalence Checking with Hybrid Engines. FM (1) 2026 89-108 conf/fm/2026-1 https://doi.org/10.1007/978-3-032-26204-2_5 db/conf/fm/fm2026-1.html#ZhangYCC26 streams/conf/fm

Peng Lin Shaowei Cai 0001 Mengchuan Zou Jinkun Lin Local-MIP: Efficient local search for mixed integer programming. 104405 2025 348 Artif. Intell. https://doi.org/10.1016/j.artint.2025.104405 db/journals/ai/ai348.html#LinCZL25 streams/journals/ai

Chanjuan Liu 0001 Guangyuan Liu Chuan Luo 0002 Shaowei Cai 0001 Zhendong Lei Wenjie Zhang 0007 Yi Chu Guojing Zhang Optimizing local search-based partial MaxSAT solving via initial assignment prediction. 2025 68 Sci. China Inf. Sci. 2 https://doi.org/10.1007/s11432-023-3900-7 db/journals/chinaf/chinaf68.html#LiuLLCLZCZ25 streams/journals/chinaf

Zhiteng Chao Xindi Zhang 0001 Junying Huang Zizhen Liu Yixuan Zhao Jing Ye 0001 Shaowei Cai 0001 Huawei Li 0001 Xiaowei Li 0001 A fast test compaction method using dedicated Pure MaxSAT solver embedded in DFT flow. 102265 2025 100 Integr. https://doi.org/10.1016/j.vlsi.2024.102265 db/journals/integration/integration100.html#ChaoZHLZYCLL25 streams/journals/integration

Yujiao Zhao Yiyuan Wang 0002 Yi Chu Wenbo Zhou 0003 Shaowei Cai 0001 Minghao Yin Improving Local Search Algorithm for Pseudo Boolean Optimization. 2025 83 J. Artif. Intell. Res. https://doi.org/10.1613/jair.1.16626 db/journals/jair/jair83.html#ZhaoWCZCY25 streams/journals/jair

Furong Ye Chuan Luo 0002 Shaowei Cai 0001 Better Understandings and Configurations in MaxSAT Stochastic Local Search Solvers via Anytime Performance Analysis. 27153-27160 2025 AAAI https://doi.org/10.1609/aaai.v39i25.34923 conf/aaai/2025 db/conf/aaai/aaai2025.html#Ye0025 Peng Lin Shaowei Cai 0001 Mengchuan Zou Shengqi Chen 0001 Parallel MIP Solving with Dynamic Task Decomposition. 26:1-26:19 2025 CP https://doi.org/10.4230/LIPIcs.CP.2025.26 conf/cp/2025 db/conf/cp/cp2025.html#Lin0Z025 Zhiteng Chao Xindi Zhang 0001 Xinyu Zhang Jianan Mu Zizhen Liu Shengwen Liang Shaowei Cai 0001 Jing Ye 0001 Xiaowei Li 0001 Huawei Li 0001 PastATPG: A Hybrid ATPG Framework for Better Test Compaction with Partial Assignment SAT. 1-7 2025 DAC https://doi.org/10.1109/DAC63849.2025.11132425 conf/dac/2025 db/conf/dac/dac2025.html#ChaoZZMLLCYLL25 streams/conf/dac Yuhang Qian Zhihan Chen 0001 Xindi Zhang 0001 Shaowei Cai 0001 X-SAT: An Efficient Circuit-Based SAT Solver. 1-7 2025 DAC https://doi.org/10.1109/DAC63849.2025.11132604 conf/dac/2025 db/conf/dac/dac2025.html#QianCZC25 streams/conf/dac Shuai Zhou Weikang Zhang Xindi Zhang 0001 Zite Jiang Haihang You Shaowei Cai 0001 Parallel Dynamic Partitioning for Datapath Combinational Equivalence Checking. 1-7 2025 DAC https://doi.org/10.1109/DAC63849.2025.11132837 conf/dac/2025 db/conf/dac/dac2025.html#ZhouZZJYC25 streams/conf/dac Lingfeng Zhu Xindi Zhang 0001 Yongjian Li Shaowei Cai 0001 Leveraging Critical Proof Obligations for Efficient IC3 Verification. 1-7 2025 DAC https://doi.org/10.1109/DAC63849.2025.11132734 conf/dac/2025 db/conf/dac/dac2025.html#ZhuZLC25 streams/conf/dac Yue Tao Shaowei Cai 0001 VeriSAT: the Hardware Design of Modern SAT Solver. 1-9 2025 ICCAD https://doi.org/10.1109/ICCAD66269.2025.11240752 conf/iccad/2025 db/conf/iccad/iccad2025.html#TaoC25 streams/conf/iccad Shiwei Pan Yiyuan Wang 0002 Shaowei Cai 0001 An Efficient Core-Guided Solver for Weighted Partial MaxSAT. 2647-2656 2025 IJCAI https://doi.org/10.24963/ijcai.2025/295 conf/ijcai/2025 db/conf/ijcai/ijcai2025.html#PanW025 Chuan Luo 0002 Shaoke Cui Jianping Song Xindi Zhang 0001 Wei Wu 0011 Chanjuan Liu 0001 Shaowei Cai 0001 Chunming Hu SMTgazer: Learning to Schedule SMT Algorithms via Bayesian Optimization. 1273-1285 2025 ASE https://doi.org/10.1109/ASE63991.2025.00109 conf/kbse/2025 db/conf/kbse/ase2025.html#LuoCSZWLCH25 streams/conf/kbse Shaowei Cai 0001 More Paradigms of SAT Solvers: Circuit-SAT, FPGA-Based SAT, LLM-Based SAT. SETSS 2025 3-32 conf/setss/2025 https://doi.org/10.1007/978-981-95-8617-2_1 db/conf/setss/setss2025.html#Cai25 streams/conf/setss Tao Jiang Shaowei Cai 0001 Ziqun Li Jiabao Lin Yijia Chen 0001 Separation Between Walksat and DPLL. 93-106 2025 TAMC https://doi.org/10.1007/978-981-95-4839-2_8 conf/tamc/2025 db/conf/tamc/tamc2025.html#JiangCLLC25 streams/conf/tamc

Zhihan Chen 0001 Xindi Zhang 0001 Yuhang Qian Shaowei Cai 0001 Datapath Combinational Equivalence Checking With Hybrid Sweeping Engines and Parallelization. 2025 January abs/2501.14740 CoRR https://doi.org/10.48550/arXiv.2501.14740 db/journals/corr/corr2501.html#abs-2501-14740 streams/journals/corr

Yiwen Sun Furong Ye Zhihan Chen 0001 Ke Wei Shaowei Cai 0001 Automatically discovering heuristics in a complex SAT solver with large language models. 2025 July abs/2507.22876 CoRR https://doi.org/10.48550/arXiv.2507.22876 db/journals/corr/corr2507.html#abs-2507-22876 streams/journals/corr

Jinyuan Li Yi Chu Yiwen Sun Mengchuan Zou Shaowei Cai 0001 AutoPBO: LLM-powered Optimization for Local Search PBO Solvers. 2025 September abs/2509.04007 CoRR https://doi.org/10.48550/arXiv.2509.04007 db/journals/corr/corr2509.html#abs-2509-04007 streams/journals/corr

Xindi Zhang 0001 Furong Ye Zhihan Chen 0001 Shaowei Cai 0001 FastLEC: Parallel Datapath Equivalence Checking with Hybrid Engines. 2025 December abs/2512.06627 CoRR https://doi.org/10.48550/arXiv.2512.06627 db/journals/corr/corr2512.html#abs-2512-06627 streams/journals/corr

Yiyuan Wang 0002 Chenghou Jin Shaowei Cai 0001 PathLAD+: Towards effective exact methods for subgraph isomorphism problem. 104219 2024 337 Artif. Intell. https://doi.org/10.1016/j.artint.2024.104219 db/journals/ai/ai337.html#WangJC24 streams/journals/ai

Huimin Fu 0002 Shaowei Cai 0001 Guanfeng Wu Jun Liu 0001 Xin Yang 0012 Yang Xu 0001 Improving two-mode algorithm via probabilistic selection for solving satisfiability problem. 119751 2024 January 653 Inf. Sci. https://doi.org/10.1016/j.ins.2023.119751 db/journals/isci/isci653.html#FuCWLYX24

Zhihan Chen 0001 Shaowei Cai 0001 Jian Gao 0007 Shike Ge Chanjuan Liu 0001 Jinkun Lin Heuristic Search with Cut Point Based Strategy for Critical Node Problem. 1328-1340 2024 November 39 J. Comput. Sci. Technol. 6 https://doi.org/10.1007/s11390-024-2850-0 db/journals/jcst/jcst39.html#ChenCGGLL24 streams/journals/jcst

Weilin Luo Polong Chen Hai Wan Hongzhen Zhong Shaowei Cai 0001 Zhanhao Xiao Goal-conflict identification based on local search and fast boundary-condition verification based on incremental satisfiability filter. 112036 2024 213 J. Syst. Softw. https://doi.org/10.1016/j.jss.2024.112036 db/journals/jss/jss213.html#LuoCWZCX24

Kun Ma Yongjian Li Shaowei Cai 0001 Yongxin Zhao A local search approach to protocol verification. 114675 2024 1008 Theor. Comput. Sci. https://doi.org/10.1016/j.tcs.2024.114675 db/journals/tcs/tcs1008.html#MaLCZ24

Chuan Luo 0002 Wenqian Xing Shaowei Cai 0001 Chunming Hu NuSC: An Effective Local Search Algorithm for Solving the Set Covering Problem. 1403-1416 2024 March 54 IEEE Trans. Cybern. 3 https://doi.org/10.1109/TCYB.2022.3199147 db/journals/tcyb/tcyb54.html#LuoXCH24

Zhiteng Chao Xindi Zhang 0001 Junying Huang Jing Ye 0001 Shaowei Cai 0001 Huawei Li 0001 Xiaowei Li 0001 A Fast Test Compaction Method for Commercial DFT Flow Using Dedicated Pure-MaxSAT Solver. 503-508 2024 ASPDAC https://doi.org/10.1109/ASP-DAC58780.2024.10473833 https://www.wikidata.org/entity/Q131017287 conf/aspdac/2024 db/conf/aspdac/aspdac2024.html#ChaoZH000024 Mengyu Zhao Shaowei Cai 0001 Yuhang Qian Distributed SMT Solving Based on Dynamic Variable-Level Partitioning. 68-88 2024 CAV (1) https://doi.org/10.1007/978-3-031-65627-9_4 conf/cav/2024-1 db/conf/cav/cav2024-1.html#ZhaoCQ24 streams/conf/cav Zhihan Chen 0001 Peng Lin Hao Hu 0008 Shaowei Cai 0001 ParLS-PBO: A Parallel Local Search Solver for Pseudo Boolean Optimization. 5:1-5:17 2024 CP https://doi.org/10.4230/LIPIcs.CP.2024.5 conf/cp/2024 db/conf/cp/cp2024.html#ChenLH024 Peng Lin Mengchuan Zou Shaowei Cai 0001 An Efficient Local Search Solver for Mixed Integer Programming. 19:1-19:19 2024 CP https://doi.org/10.4230/LIPIcs.CP.2024.19 conf/cp/2024 db/conf/cp/cp2024.html#LinZ024 Xiang He 0005 Bohan Li 0002 Mengyu Zhao Shaowei Cai 0001 A Local Search Algorithm for MaxSMT(LIA). 55-72 2024 FM (1) https://doi.org/10.1007/978-3-031-71162-6_3 conf/fm/2024-1 db/conf/fm/fm2024-1.html#HeLZC24 streams/conf/fm Xindi Zhang 0001 Bohan Li 0002 Shaowei Cai 0001 Deep Combination of CDCL(T) and Local Search for Satisfiability Modulo Non-Linear Integer Arithmetic Theory. 125:1-125:13 2024 ICSE https://doi.org/10.1145/3597503.3639105 conf/icse/2024 db/conf/icse/icse2024.html#Zhang0024 Peng Lin Mengchuan Zou Zhihan Chen 0001 Shaowei Cai 0001 ParaILP: A Parallel Local Search Framework for Integer Linear Programming with Cooperative Evolution Mechanism. 6949-6957 2024 IJCAI https://www.ijcai.org/proceedings/2024/768 conf/ijcai/2024 db/conf/ijcai/ijcai2024.html#LinZC024 Yan Li 0165 Yundu Huang Wuyang Mao Furong Ye Xiang He 0005 Zhonglin Zu Shaowei Cai 0001 Bi-Objective Contract Allocation for Guaranteed Delivery Advertising. 1691-1700 2024 KDD https://doi.org/10.1145/3637528.3671752 conf/kdd/2024 db/conf/kdd/kdd2024.html#LiHMYHZ024 Yi Chu Chu-Min Li 0001 Furong Ye Shaowei Cai 0001 Enhancing MaxSAT Local Search via a Unified Soft Clause Weighting Scheme. 8:1-8:18 2024 SAT https://doi.org/10.4230/LIPIcs.SAT.2024.8 conf/sat/2024 db/conf/sat/sat2024.html#ChuLY024 Zhonghan Wang Bohua Zhan Bohan Li 0002 Shaowei Cai 0001 Efficient Local Search for Nonlinear Real Arithmetic. 326-349 2024 VMCAI (1) https://doi.org/10.1007/978-3-031-50524-9_15 conf/vmcai/2024-1 db/conf/vmcai/vmcai2024-1.html#WangZLC24 Peng Lin Mengchuan Zou Shaowei Cai 0001 Local-MIP. 2024 November https://doi.org/10.4230/artifacts.22500 DROPS Artifacts streams/repo/drops

Yiwen Sun Furong Ye Xianyin Zhang Shiyu Huang 0001 Bingzhen Zhang Ke Wei Shaowei Cai 0001 AutoSAT: Automatically Optimize SAT Solvers via Large Language Models. 2024 abs/2402.10705 CoRR https://doi.org/10.48550/arXiv.2402.10705 db/journals/corr/corr2402.html#abs-2402-10705

Furong Ye Chuan Luo 0002 Shaowei Cai 0001 Better Understandings and Configurations in MaxSAT Local Search Solvers via Anytime Performance Analysis. 2024 abs/2403.06568 CoRR https://doi.org/10.48550/arXiv.2403.06568 db/journals/corr/corr2403.html#abs-2403-06568

Xindi Zhang 0001 Zhihan Chen 0001 Shaowei Cai 0001 Revisiting Restarts of CDCL: Should the Search Information be Preserved? 2024 abs/2404.16387 CoRR https://doi.org/10.48550/arXiv.2404.16387 db/journals/corr/corr2404.html#abs-2404-16387

Xiang He 0005 Bohan Li 0002 Mengyu Zhao Shaowei Cai 0001 A Local Search Algorithm for MaxSMT(LIA). 2024 abs/2406.15782 CoRR https://doi.org/10.48550/arXiv.2406.15782 db/journals/corr/corr2406.html#abs-2406-15782

Zhihan Chen 0001 Peng Lin Hao Hu 0008 Shaowei Cai 0001 ParLS-PBO: A Parallel Local Search Solver for Pseudo Boolean Optimization. 2024 abs/2407.21729 CoRR https://doi.org/10.48550/arXiv.2407.21729 db/journals/corr/corr2407.html#abs-2407-21729 streams/journals/corr

Hao Hu 0008 Shaowei Cai 0001 OPTDTALS: Approximate Logic Synthesis via Optimal Decision Trees Approach. 2024 abs/2408.12304 CoRR https://doi.org/10.48550/arXiv.2408.12304 db/journals/corr/corr2408.html#abs-2408-12304 streams/journals/corr

Xiang He 0005 Peng Lin Shaowei Cai 0001 Local Search for Integer Quadratic Programming. 2024 abs/2409.19668 CoRR https://doi.org/10.48550/arXiv.2409.19668 db/journals/corr/corr2409.html#abs-2409-19668 streams/journals/corr

Bohan Li 0002 Dawei Li Ming Fu Shaowei Cai 0001 SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout. 2024 abs/2411.12271 CoRR https://doi.org/10.48550/arXiv.2411.12271 db/journals/corr/corr2411.html#abs-2411-12271 streams/journals/corr

Jiejiang Chen Shaowei Cai 0001 Yiyuan Wang 0002 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. 103819 2023 314 Artif. Intell. https://doi.org/10.1016/j.artint.2022.103819 db/journals/ai/ai314.html#ChenCWXJY23

Shaowei Cai 0001 Zhenbang Chen 0001 Ji Wang 0001 Bohua Zhan Yongwang Zhao Preface to the Special Issue on Constraint Solving and Theorem Proving. 243-245 2023 13 Int. J. Softw. Informatics 3 https://doi.org/10.21655/ijsi.1673-7288.00299 db/journals/ijsi/ijsi13.html#CaiCWZZ23

Jian Gao 0007 Xiaoxia Tao Shaowei Cai 0001 Towards more efficient local search algorithms for constrained clustering. 287-307 2023 April 621 Inf. Sci. https://doi.org/10.1016/j.ins.2022.11.107 db/journals/isci/isci621.html#GaoTC23

Shaowei Cai 0001 Bohan Li 0002 Xindi Zhang 0001 Local Search For Satisfiability Modulo Integer Arithmetic Theories. 32:1-32:26 2023 October 24 ACM Trans. Comput. Log. 4 https://doi.org/10.1145/3597495 db/journals/tocl/tocl24.html#CaiLZ23

Yi Chu Shaowei Cai 0001 Chuan Luo 0002 NuWLS: Improving Local Search for (Weighted) Partial MaxSAT by New Weighting Techniques. 3915-3923 2023 AAAI https://doi.org/10.1609/aaai.v37i4.25505 conf/aaai/2023 db/conf/aaai/aaai2023.html#Chu0L23 Minghao Liu 0001 Pei Huang 0002 Fuqi Jia Fan Zhang Yuchen Sun Shaowei Cai 0001 Feifei Ma Jian Zhang 0001 Can Graph Neural Networks Learn to Solve the MaxSAT Problem? (Student Abstract). 16264-16265 2023 AAAI https://doi.org/10.1609/aaai.v37i13.26992 conf/aaai/2023 db/conf/aaai/aaai2023.html#00010JZS0M023 Yi Chu Shaowei Cai 0001 Chuan Luo 0002 Zhendong Lei Cong Peng 0004 Towards More Efficient Local Search for Pseudo-Boolean Optimization. 12:1-12:18 2023 CP https://doi.org/10.4230/LIPIcs.CP.2023.12 conf/cp/2023 db/conf/cp/cp2023.html#Chu0LL023 Wenbo Zhou 0003 Yujiao Zhao Yiyuan Wang 0002 Shaowei Cai 0001 Shimao Wang Xinyu Wang Minghao Yin Improving Local Search for Pseudo Boolean Optimization by Fragile Scoring Function and Deep Optimization. 41:1-41:18 2023 CP https://doi.org/10.4230/LIPIcs.CP.2023.41 conf/cp/2023 db/conf/cp/cp2023.html#ZhouZW0WWY23 Min Li 0019 Zhengyuan Shi Qiuxia Lai Sadaf Khan Shaowei Cai 0001 Qiang Xu 0001 On EDA-Driven Learning for SAT Solving. 1-6 2023 DAC https://doi.org/10.1109/DAC56929.2023.10248001 conf/dac/2023 db/conf/dac/dac2023.html#LiSLKCX23 Shaowei Cai 0001 Local Search and Its Application in CDCL/CDCL(T) solvers for SAT/SMT. 1 2023 FMCAD https://doi.org/10.34727/2023/isbn.978-3-85448-060-0_6 conf/fmcad/2023 db/conf/fmcad/fmcad2023.html#Cai23 Bohan Li 0002 Shaowei Cai 0001 Local Search For SMT On Linear and Multi-linear Real Arithmetic. 1-10 2023 FMCAD https://doi.org/10.34727/2023/isbn.978-3-85448-060-0_25 conf/fmcad/2023 db/conf/fmcad/fmcad2023.html#LiC23 Zhihan Chen 0001 Xindi Zhang 0001 Yuhang Qian Qiang Xu 0001 Shaowei Cai 0001 Integrating Exact Simulation into Sweeping for Datapath Combinational Equivalence Checking. 1-9 2023 ICCAD https://doi.org/10.1109/ICCAD57390.2023.10323876 conf/iccad/2023 db/conf/iccad/iccad2023.html#ChenZQXC23 Yiyuan Wang 0002 Chenghou Jin Shaowei Cai 0001 Qingwei Lin PathLAD+: An Improved Exact Algorithm for Subgraph Isomorphism Problem. 5639-5647 2023 IJCAI https://doi.org/10.24963/ijcai.2023/626 conf/ijcai/2023 db/conf/ijcai/ijcai2023.html#WangJ0L23 Qiyuan Zhao Chuan Luo 0002 Shaowei Cai 0001 Wei Wu 0011 Jinkun Lin Hongyu Zhang 0002 Chunming Hu CAmpactor: A Novel and Effective Local Search Algorithm for Optimizing Pairwise Covering Arrays. 81-93 2023 ESEC/SIGSOFT FSE https://doi.org/10.1145/3611643.3616284 https://www.wikidata.org/entity/Q130920264 conf/sigsoft/2023 db/conf/sigsoft/fse2023.html#ZhaoL00LZH23 Chuan Luo 0002 Jianping Song Qiyuan Zhao Yibei Li Shaowei Cai 0001 Chunming Hu Generating Pairwise Covering Arrays for Highly Configurable Software Systems. 261-267 2023 SPLC (A) https://doi.org/10.1145/3579027.3608998 https://www.wikidata.org/entity/Q130824876 conf/splc/2023a db/conf/splc/splc2023a.html#LuoSZL0H23

Pengfei Yang 0002 Zhiming Chi Zongxin Liu 0001 Mengyu Zhao Cheng-Chao Huang Shaowei Cai 0001 Lijun Zhang 0001 Incremental Satisfiability Modulo Theory for Verification of Deep Neural Networks. 2023 abs/2302.06455 CoRR https://doi.org/10.48550/arXiv.2302.06455 db/journals/corr/corr2302.html#abs-2302-06455

Bohan Li 0002 Shaowei Cai 0001 Local Search For SMT On Linear and Multilinear Real Arithmetic. 2023 abs/2303.06676 CoRR https://doi.org/10.48550/arXiv.2303.06676 db/journals/corr/corr2303.html#abs-2303-06676

Peng Lin Shaowei Cai 0001 Mengchuan Zou Jinkun Lin Local Search for Integer Linear Programming. 2023 abs/2305.00188 CoRR https://doi.org/10.48550/arXiv.2305.00188 db/journals/corr/corr2305.html#abs-2305-00188

Zhonghan Wang Bohua Zhan Bohan Li 0002 Shaowei Cai 0001 Efficient Local Search for Nonlinear Real Arithmetic. 2023 abs/2311.14249 CoRR https://doi.org/10.48550/arXiv.2311.14249 db/journals/corr/corr2311.html#abs-2311-14249

Jian Gao 0007 Yiqi Lv Minghao Liu 0001 Shaowei Cai 0001 Feifei Ma Improving Simulated Annealing for Clique Partitioning Problems. 1485-1513 2022 74 J. Artif. Intell. Res. https://doi.org/10.1613/jair.1.13382 db/journals/jair/jair74.html#GaoLLCM22

Shaowei Cai 0001 Xindi Zhang 0001 Mathias Fleury Armin Biere Better Decision Heuristics in CDCL through Local Search and Target Phases. 1515-1563 2022 74 J. Artif. Intell. Res. https://doi.org/10.1613/jair.1.13666 db/journals/jair/jair74.html#CaiZFB22

Jiejiang Chen Yiyuan Wang 0002 Shaowei Cai 0001 Minghao Yin Yupeng Zhou Jieyu Wu NukCP: An Improved Local Search Algorithm for Maximum k-Club Problem. 10146-10155 2022 AAAI https://doi.org/10.1609/aaai.v36i9.21254 https://www.wikidata.org/entity/Q114050368 conf/aaai/2022 db/conf/aaai/aaai2022.html#ChenWCYZW22 Weilin Luo Rongzhen Ye Hai Wan Shaowei Cai 0001 Biqing Fang Delong Zhang Improving Local Search Algorithms via Probabilistic Configuration Checking. 10283-10290 2022 AAAI https://doi.org/10.1609/aaai.v36i9.21269 conf/aaai/2022 db/conf/aaai/aaai2022.html#LuoYWCFZ22 Shaowei Cai 0001 Bohan Li 0002 Xindi Zhang 0001 Local Search for SMT on Linear Integer Arithmetic. 227-248 2022 CAV (2) https://doi.org/10.1007/978-3-031-13188-2_12 conf/cav/2022-2 db/conf/cav/cav2022-2.html#CaiLZ22 Shaowei Cai 0001 Xindi Zhang 0001 Deep Cooperation of CDCL and Local Search for SAT (Extended Abstract). 5274-5278 2022 IJCAI https://doi.org/10.24963/ijcai.2022/734 conf/ijcai/2022 db/conf/ijcai/ijcai2022.html#CaiZ22 Chuan Luo 0002 Qiyuan Zhao Shaowei Cai 0001 Hongyu Zhang 0002 Chunming Hu SamplingCA: effective and efficient sampling-based pairwise testing for highly configurable software systems. 1185-1197 2022 ESEC/SIGSOFT FSE https://doi.org/10.1145/3540250.3549155 https://www.wikidata.org/entity/Q130862109 conf/sigsoft/2022 db/conf/sigsoft/fse2022.html#LuoZC0H22

Shaowei Cai 0001 Bohan Li 0002 Xindi Zhang 0001 Local Search For Satisfiability Modulo Integer Arithmetic Theories. 2022 abs/2211.10219 CoRR https://doi.org/10.48550/arXiv.2211.10219 db/journals/corr/corr2211.html#abs-2211-10219

Xindi Zhang 0001 Bohan Li 0002 Shaowei Cai 0001 Yiyuan Wang 0002 Efficient Local Search based on Dynamic Connectivity Maintenance for Minimum Connected Dominating Set. 89-119 2021 71 J. Artif. Intell. Res. https://doi.org/10.1613/jair.1.12618 https://www.wikidata.org/entity/Q131025035 db/journals/jair/jair71.html#ZhangLCW21

Shaowei Cai 0001 Jinkun Lin Yiyuan Wang 0002 Darren Strash A Semi-exact Algorithm for Quickly Computing A Maximum Weight Clique in Large Sparse Graphs. 39-67 2021 72 J. Artif. Intell. Res. https://doi.org/10.1613/jair.1.12327 https://www.wikidata.org/entity/Q131020221 db/journals/jair/jair72.html#CaiLWS21

Chuan Luo 0002 Pu Zhao 0004 Chen Chen Bo Qiao 0001 Chao Du Hongyu Zhang 0002 Wei Wu 0011 Shaowei Cai 0001 Bing He Saravanakumar Rajmohan Qingwei Lin PULNS: Positive-Unlabeled Learning with Effective Negative Sample Selector. 8784-8792 2021 AAAI https://doi.org/10.1609/aaai.v35i10.17064 conf/aaai/2021 db/conf/aaai/aaai2021.html#LuoZCQDZWCHRL21 Jiejiang Chen Shaowei Cai 0001 Shiwei Pan Yiyuan Wang 0002 Qingwei Lin Mengyu Zhao Minghao Yin NuQClq: An Effective Local Search Algorithm for Maximum Quasi-Clique Problem. 12258-12266 2021 AAAI https://doi.org/10.1609/aaai.v35i14.17455 conf/aaai/2021 db/conf/aaai/aaai2021.html#ChenCPWLZY21 Chuan Luo 0002 Bo Qiao 0001 Wenqian Xing Xin Chen Pu Zhao 0004 Chao Du Randolph Yao Hongyu Zhang 0002 Wei Wu 0011 Shaowei Cai 0001 Bing He Saravanakumar Rajmohan Qingwei Lin Correlation-Aware Heuristic Search for Intelligent Virtual Machine Provisioning in Cloud Systems. 12363-12372 2021 AAAI https://doi.org/10.1609/aaai.v35i14.17467 conf/aaai/2021 db/conf/aaai/aaai2021.html#LuoQXCZDYZWCHRL21 Shaowei Cai 0001 Chuan Luo 0002 Xindi Zhang 0001 Jian Zhang 0001 Improving Local Search for Structured SAT Formulas via Unit Propagation Based Construct and Cut Initialization (Short Paper). 5:1-5:10 2021 CP https://doi.org/10.4230/LIPIcs.CP.2021.5 conf/cp/2021 db/conf/cp/cp2021.html#CaiLZZ21 Bohan Li 0002 Kai Wang Yiyuan Wang 0002 Shaowei Cai 0001 Improving Local Search for Minimum Weighted Connected Dominating Set Problem by Inner-Layer Local Search. 39:1-39:16 2021 CP https://doi.org/10.4230/LIPIcs.CP.2021.39 conf/cp/2021 db/conf/cp/cp2021.html#LiWWC21 Jinkun Lin Shaowei Cai 0001 Bing He Yingjie Fu Chuan Luo 0002 Qingwei Lin FastCA: An Effective and Efficient Tool for Combinatorial Covering Array Generation. 77-80 2021 ICSE (Companion Volume) https://doi.org/10.1109/ICSE-Companion52605.2021.00040 conf/icse/2021c db/conf/icse/icse2021c.html#LinCHFLL21 Chuan Luo 0002 Jinkun Lin Shaowei Cai 0001 Xin Chen Bing He Bo Qiao 0001 Pu Zhao 0004 Qingwei Lin Hongyu Zhang 0002 Wei Wu 0011 Saravanakumar Rajmohan Dongmei Zhang 0001 AutoCCAG: An Automated Approach to Constrained Covering Array Generation. 201-212 2021 ICSE https://doi.org/10.1109/ICSE43902.2021.00030 conf/icse/2021 db/conf/icse/icse2021.html#LuoLCCHQZLZWRZ21 Shaowei Cai 0001 Xindi Zhang 0001 Deep Cooperation of CDCL and Local Search for SAT. 64-81 2021 SAT https://doi.org/10.1007/978-3-030-80223-3_6 conf/sat/2021 db/conf/sat/sat2021.html#CaiZ21 Zhendong Lei Shaowei Cai 0001 Chuan Luo 0002 Holger H. Hoos Efficient Local Search for Pseudo Boolean Optimization. 332-348 2021 SAT https://doi.org/10.1007/978-3-030-80223-3_23 conf/sat/2021 db/conf/sat/sat2021.html#LeiCLH21

Minghao Liu 0001 Fuqi Jia Pei Huang 0002 Fan Zhang Yuchen Sun Shaowei Cai 0001 Feifei Ma Jian Zhang 0001 Can Graph Neural Networks Learn to Solve MaxSAT Problem? 2021 abs/2111.07568 CoRR https://arxiv.org/abs/2111.07568 db/journals/corr/corr2111.html#abs-2111-07568

Yiyuan Wang 0002 Shaowei Cai 0001 Jiejiang Chen Minghao Yin SCCWalk: An efficient local search algorithm and its improvements for maximum weight clique problem. 103230 2020 280 Artif. Intell. https://doi.org/10.1016/j.artint.2019.103230 https://www.wikidata.org/entity/Q126411384 db/journals/ai/ai280.html#WangCCY20

Shaowei Cai 0001 Zhendong Lei Old techniques in new ways: Clause weighting, unit propagation and hybridization for maximum satisfiability. 103354 2020 287 Artif. Intell. https://doi.org/10.1016/j.artint.2020.103354 db/journals/ai/ai287.html#CaiL20

Zhendong Lei Shaowei Cai 0001 NuDist: An Efficient Local Search Algorithm for (Weighted) Partial MaxSAT. 1321-1337 2020 63 Comput. J. 9 https://doi.org/10.1093/comjnl/bxz063 https://www.wikidata.org/entity/Q127768123 db/journals/cj/cj63.html#LeiC20

Yingjie Fu Zhendong Lei Shaowei Cai 0001 Jinkun Lin Haoran Wang WCA: A weighting local search for constrained combinatorial test optimization. 106288 2020 122 Inf. Softw. Technol. https://doi.org/10.1016/j.infsof.2020.106288 https://www.wikidata.org/entity/Q113316737 db/journals/infsof/infsof122.html#FuLCLW20

Yi Chu Boxiao Liu Shaowei Cai 0001 Chuan Luo 0002 Haihang You An efficient local search algorithm for solving maximum edge weight clique problem in large graphs. 933-954 2020 39 J. Comb. Optim. 4 https://doi.org/10.1007/s10878-020-00529-9 db/journals/jco/jco39.html#ChuLCLY20

Ruizhi Li Shuli Hu Shaowei Cai 0001 Jian Gao 0007 Yiyuan Wang 0002 Minghao Yin NuMWVC: A novel local search for minimum weighted vertex cover problem. 1498-1509 2020 71 J. Oper. Res. Soc. 9 https://doi.org/10.1080/01605682.2019.1621218 https://www.wikidata.org/entity/Q127660776 db/journals/jors/jors71.html#LiHCGWY20

Zhendong Lei Shaowei Cai 0001 Solving Set Cover and Dominating Set via Maximum Satisfiability. 1569-1576 2020 AAAI https://doi.org/10.1609/aaai.v34i02.5517 conf/aaai/2020 db/conf/aaai/aaai2020.html#LeiC20 Peilin Chen Hai Wan Shaowei Cai 0001 Jia Li Haicheng Chen Local Search with Dynamic-Threshold Configuration Checking and Incremental Neighborhood Updating for Maximum k-plex Problem. 2343-2350 2020 AAAI https://doi.org/10.1609/aaai.v34i03.5613 conf/aaai/2020 db/conf/aaai/aaai2020.html#ChenWCLC20 Yiyuan Wang 0002 Shaowei Cai 0001 Shiwei Pan Ximing Li 0002 Minghao Yin Reduction and Local Search for Weighted Graph Coloring Problem. 2433-2441 2020 AAAI https://doi.org/10.1609/aaai.v34i03.5624 conf/aaai/2020 db/conf/aaai/aaai2020.html#WangCPLY20 Shaowei Cai 0001 Xindi Zhang 0001 Pure MaxSAT and Its Applications to Combinatorial Optimization via Linear Local Search. 90-106 2020 CP https://doi.org/10.1007/978-3-030-58475-7_6 conf/cp/2020 db/conf/cp/cp2020.html#CaiZ20 Zhendong Lei Shaowei Cai 0001 Chuan Luo 0002 Extended Conjunctive Normal Form and An Efficient Algorithm for Cardinality Constraints. 1141-1147 2020 IJCAI https://doi.org/10.24963/ijcai.2020/159 conf/ijcai/2020 db/conf/ijcai/ijcai2020.html#LeiCL20 Wenjie Zhang 0007 Zeyu Sun 0004 Qihao Zhu Ge Li 0001 Shaowei Cai 0001 Yingfei Xiong 0001 Lu Zhang 0023 NLocalSAT: Boosting Local Search with Solution Prediction. 1177-1183 2020 IJCAI https://doi.org/10.24963/ijcai.2020/164 conf/ijcai/2020 db/conf/ijcai/ijcai2020.html#ZhangSZLCXZ20 Shaowei Cai 0001 Wenying Hou Yiyuan Wang 0002 Chuan Luo 0002 Qingwei Lin Two-goal Local Search and Inference Rules for Minimum Dominating Set. 1467-1473 2020 IJCAI https://doi.org/10.24963/ijcai.2020/204 conf/ijcai/2020 db/conf/ijcai/ijcai2020.html#CaiHWLL20 Bohan Li 0002 Xindi Zhang 0001 Shaowei Cai 0001 Jinkun Lin Yiyuan Wang 0002 Christian Blum 0001 NuCDS: An Efficient Local Search Algorithm for Minimum Connected Dominating Set. 1503-1510 2020 IJCAI https://doi.org/10.24963/ijcai.2020/209 conf/ijcai/2020 db/conf/ijcai/ijcai2020.html#LiZCLWB20 Chuan Luo 0002 Holger H. Hoos Shaowei Cai 0001 PbO-CCSAT: Boosting Local Search for Satisfiability Using Programming by Optimisation. 373-389 2020 PPSN (1) https://doi.org/10.1007/978-3-030-58112-1_26 conf/ppsn/2020-1 db/conf/ppsn/ppsn2020-1.html#LuoHC20 Jiazhen Gu Chuan Luo 0002 Si Qin Bo Qiao 0001 Qingwei Lin Hongyu Zhang 0002 Ze Li 0005 Yingnong Dang Shaowei Cai 0001 Wei Wu 0011 Yangfan Zhou 0002 Murali Chintalapati Dongmei Zhang 0001 Efficient incident identification from multi-dimensional issue reports via meta-heuristic search. 292-303 2020 ESEC/SIGSOFT FSE https://doi.org/10.1145/3368089.3409741 conf/sigsoft/2020 db/conf/sigsoft/fse2020.html#GuLQQL0LDCWZCZ20

Wenjie Zhang 0007 Zeyu Sun 0004 Qihao Zhu Ge Li 0001 Shaowei Cai 0001 Yingfei Xiong 0001 Lu Zhang 0023 NLocalSAT: Boosting Local Search with Solution Prediction. 2020 abs/2001.09398 CoRR https://arxiv.org/abs/2001.09398 db/journals/corr/corr2001.html#abs-2001-09398

Yuren Zhou Xiaoyu He 0001 Yi Xiang 0002 Shaowei Cai 0001 A set of new multi- and many-objective test problems for continuous optimization and a comprehensive experimental evaluation. 105-129 2019 276 Artif. Intell. https://doi.org/10.1016/j.artint.2019.08.003 https://www.wikidata.org/entity/Q127405721 db/journals/ai/ai276.html#ZhouHXC19

Shaojiang Wang Tianyong Wu Yuan Yao Dongbo Bu Shaowei Cai 0001 Constrained maximum weighted bipartite matching: a novel approach to radio broadcast scheduling. 72102:1-72102:14 2019 62 Sci. China Inf. Sci. 7 https://doi.org/10.1007/s11432-017-9324-0 db/journals/chinaf/chinaf62.html#WangWYBC19

Yi Chu Chuan Luo 0002 Shaowei Cai 0001 Haihang You Empirical investigation of stochastic local search for maximum satisfiability. 86-98 2019 13 Frontiers Comput. Sci. 1 https://doi.org/10.1007/s11704-018-7107-z https://www.wikidata.org/entity/Q129320605 db/journals/fcsc/fcsc13.html#ChuLCY19

Shaowei Cai 0001 Yuanjie Li Wenying Hou Haoran Wang Towards faster local search for minimum weight vertex cover on massive graphs. 64-79 2019 471 Inf. Sci. https://doi.org/10.1016/j.ins.2018.08.052 db/journals/isci/isci471.html#CaiLHW19

Chuan Luo 0002 Holger H. Hoos Shaowei Cai 0001 Qingwei Lin Hongyu Zhang 0002 Dongmei Zhang 0001 Local Search with Efficient Automatic Configuration for Minimum Vertex Cover. 2019 IJCAI https://doi.org/10.24963/ijcai.2019/180 conf/ijcai/2019 db/conf/ijcai/ijcai2019.html#LuoHCLZZ19 1297-1304 Jinkun Lin Shaowei Cai 0001 Chuan Luo 0002 Qingwei Lin Hongyu Zhang 0002 Towards more efficient meta-heuristic algorithms for combinatorial test generation. 212-222 2019 ESEC/SIGSOFT FSE https://doi.org/10.1145/3338906.3338914 conf/sigsoft/2019 db/conf/sigsoft/fse2019.html#LinCLLZ19

Peilin Chen Hai Wan Shaowei Cai 0001 Weilin Luo Jia Li Combining Reinforcement Learning and Configuration Checking for Maximum k-plex Problem. 2019 abs/1906.02578 CoRR http://arxiv.org/abs/1906.02578 db/journals/corr/corr1906.html#abs-1906-02578

Meng Liu Dantong Ouyang Shaowei Cai 0001 Liming Zhang 0005 Efficient zonal diagnosis with maximum satisfiability. 112101:1-112101:14 2018 61 Sci. China Inf. Sci. 11 https://doi.org/10.1007/s11432-017-9273-5 https://www.wikidata.org/entity/Q129748490 db/journals/chinaf/chinaf61.html#LiuOC018

Yiyuan Wang 0002 Shaowei Cai 0001 Minghao Yin New heuristic approaches for maximum balanced biclique problem. 362-375 2018 432 Inf. Sci. https://doi.org/10.1016/j.ins.2017.12.012 db/journals/isci/isci432.html#WangCY18

Yongjian Li Kaiqiang Duan David N. Jansen Jun Pang 0001 Lijun Zhang 0001 Yi Lv Shaowei Cai 0001 An Automatic Proving Approach to Parameterized Verification. 27:1-27:25 2018 19 ACM Trans. Comput. Log. 4 https://doi.org/10.1145/3232164 db/journals/tocl/tocl19.html#LiDJPZLC18

Ruizhi Li Shaowei Cai 0001 Shuli Hu Minghao Yin Jian Gao 0007 NuMWVC: A Novel Local Search for Minimum Weighted Vertex Cover Problem. 2018 AAAI https://doi.org/10.1609/aaai.v32i1.12137 conf/aaai/2018 db/conf/aaai/aaai2018.html#LiCHYG18 8107-8108 Zhendong Lei Shaowei Cai 0001 Solving (Weighted) Partial MaxSAT by Dynamic Local Search for SAT. 1346-1352 2018 IJCAI https://doi.org/10.24963/ijcai.2018/187 conf/ijcai/2018 db/conf/ijcai/ijcai2018.html#LeiC18 Shaowei Cai 0001 Wenying Hou Jinkun Lin Yuanjie Li Improving Local Search for Minimum Weight Vertex Cover by Dynamic Strategies. 1412-1418 2018 IJCAI https://doi.org/10.24963/ijcai.2018/196 conf/ijcai/2018 db/conf/ijcai/ijcai2018.html#CaiHLL18 Yiyuan Wang 0002 Shaowei Cai 0001 Jiejiang Chen Minghao Yin A Fast Local Search Algorithm for Minimum Weight Dominating Set Problem on Massive Graphs. 1514-1522 2018 IJCAI https://doi.org/10.24963/ijcai.2018/210 conf/ijcai/2018 db/conf/ijcai/ijcai2018.html#WangCCY18 Kenji Kanazawa Shaowei Cai 0001 FPGA Acceleration to Solve Maximum Clique Problems Encoded into Partial MaxSAT. 217-224 2018 MCSoC https://doi.org/10.1109/MCSoC2018.2018.00043 https://doi.ieeecomputersociety.org/10.1109/MCSoC2018.2018.00043 conf/mcsoc/2018 db/conf/mcsoc/mcsoc2018.html#KanazawaC18

Chuan Luo 0002 Shaowei Cai 0001 Kaile Su Wenxuan Huang CCEHC: An efficient local search algorithm for weighted partial maximum satisfiability. 26-44 2017 243 Artif. Intell. https://doi.org/10.1016/j.artint.2016.11.001 db/journals/ai/ai243.html#LuoCSH17

Haochen Zhang Shaowei Cai 0001 Chuan Luo 0002 Minghao Yin An efficient local search algorithm for the winner determination problem. 367-396 2017 23 J. Heuristics 5 https://doi.org/10.1007/s10732-017-9344-y db/journals/heuristics/heuristics23.html#ZhangCLY17

Yiyuan Wang 0002 Shaowei Cai 0001 Minghao Yin Local Search for Minimum Weight Dominating Set with Two-Level Configuration Checking and Frequency Based Scoring Function. 267-295 2017 58 J. Artif. Intell. Res. https://doi.org/10.1613/jair.5205 db/journals/jair/jair58.html#WangCY17

Shaowei Cai 0001 Jinkun Lin Chuan Luo 0002 Finding A Small Vertex Cover in Massive Sparse Graphs: Construct, Local Search, and Preprocess. 463-494 2017 59 J. Artif. Intell. Res. https://doi.org/10.1613/jair.5443 db/journals/jair/jair59.html#CaiLL17

Jinkun Lin Shaowei Cai 0001 Chuan Luo 0002 Kaile Su A Reduction based Method for Coloring Very Large Graphs. 517-523 2017 IJCAI https://doi.org/10.24963/ijcai.2017/73 conf/ijcai/2017 db/conf/ijcai/ijcai2017.html#LinCLS17 Shaowei Cai 0001 Chuan Luo 0002 Haochen Zhang From Decimation to Local Search and Back: A New Approach to MaxSAT. 571-577 2017 IJCAI https://doi.org/10.24963/ijcai.2017/80 conf/ijcai/2017 db/conf/ijcai/ijcai2017.html#CaiLZ17 Chuan Luo 0002 Shaowei Cai 0001 Kaile Su Wenxuan Huang CCEHC: An Efficient Local Search Algorithm for Weighted Partial Maximum Satisfiability (Extended Abstract). 5030-5034 2017 IJCAI https://doi.org/10.24963/ijcai.2017/716 conf/ijcai/2017 db/conf/ijcai/ijcai2017.html#LuoCSH17 Yiyuan Wang 0002 Shaowei Cai 0001 Minghao Yin Local Search for Minimum Weight Dominating Set with Two-Level Configuration Checking and Frequency Based Scoring Function (Extended Abstract). 5090-5094 2017 IJCAI https://doi.org/10.24963/ijcai.2017/728 conf/ijcai/2017 db/conf/ijcai/ijcai2017.html#WangCY17 Yuanjie Li Shaowei Cai 0001 Wenying Hou An Efficient Local Search Algorithm for Minimum Weighted Vertex Cover on Massive Graphs. 145-157 2017 SEAL https://doi.org/10.1007/978-3-319-68759-9_13 conf/seal/2017 db/conf/seal/seal2017.html#LiCH17 Faisal N. Abu-Khzam Shaowei Cai 0001 Judith Egan Peter Shaw 0001 Kai Wang Turbo-Charging Dominating Set with an FPT Subroutine: Further Improvements and Experimental Analysis. 59-70 2017 TAMC https://doi.org/10.1007/978-3-319-55911-7_5 conf/tamc/2017 db/conf/tamc/tamc2017.html#Abu-KhzamCESW17

Yiyuan Wang 0002 Shaowei Cai 0001 Minghao Yin Local Search for Minimum Weight Dominating Set with Two-Level Configuration Checking and Frequency Based Scoring Function. 2017 abs/1702.04594 CoRR http://arxiv.org/abs/1702.04594 db/journals/corr/corr1702.html#WangCY17

Shaowei Cai 0001 Chuan Luo 0002 Jinkun Lin Kaile Su New local search methods for partial MaxSAT. 1-18 2016 240 Artif. Intell. https://doi.org/10.1016/j.artint.2016.07.006 db/journals/ai/ai240.html#CaiLLS16

Shohei Sassa Kenji Kanazawa Shaowei Cai 0001 Moritoshi Yasunaga An FPGA Solver for Partial MaxSAT Problems Based on Stochastic Local Search. 32-37 2016 44 SIGARCH Comput. Archit. News 4 https://doi.org/10.1145/3039902.3039909 https://www.wikidata.org/entity/Q130877648 db/journals/sigarch/sigarch44.html#SassaKCY16

Yiyuan Wang 0002 Shaowei Cai 0001 Minghao Yin Two Efficient Local Search Algorithms for Maximum Weight Clique Problem. 805-811 2016 AAAI https://doi.org/10.1609/aaai.v30i1.10067 conf/aaai/2016 db/conf/aaai/aaai2016.html#WangCY16 Yongjian Li Kaiqiang Duan Yi Lv Jun Pang 0001 Shaowei Cai 0001 A novel approach to parameterized verification of cache coherence protocols. 560-567 2016 ICCD https://doi.org/10.1109/ICCD.2016.7753341 https://doi.ieeecomputersociety.org/10.1109/ICCD.2016.7753341 conf/iccd/2016 db/conf/iccd/iccd2016.html#LiDLPC16 Shaowei Cai 0001 Jinkun Lin Fast Solving Maximum Weight Clique Problem in Massive Graphs. 568-574 2016 IJCAI http://www.ijcai.org/Abstract/16/087 conf/ijcai/2016 db/conf/ijcai/ijcai2016.html#CaiL16

Shaowei Cai 0001 Chuan Luo 0002 Kaile Su Improving WalkSAT By Effective Tie-Breaking and Efficient Implementation. 2864-2875 2015 58 Comput. J. 11 https://doi.org/10.1093/comjnl/bxu135 db/journals/cj/cj58.html#CaiLS15

Shaowei Cai 0001 Zhong Jie Kaile Su An effective variable selection heuristic in SLS for weighted Max-2-SAT. 433-456 2015 21 J. Heuristics 3 https://doi.org/10.1007/s10732-015-9284-3 db/journals/heuristics/heuristics21.html#CaiJS15

Chuan Luo 0002 Shaowei Cai 0001 Wei Wu 0042 Zhong Jie Kaile Su CCLS: An Efficient Local Search Algorithm for Weighted Maximum Satisfiability. 1830-1843 2015 64 IEEE Trans. Computers 7 https://doi.org/10.1109/TC.2014.2346196 http://doi.ieeecomputersociety.org/10.1109/TC.2014.2346196 db/journals/tc/tc64.html#LuoCWJS15

Chuan Luo 0002 Shaowei Cai 0001 Kaile Su Wei Wu 0042 Clause States Based Configuration Checking in Local Search for Satisfiability. 1014-1027 2015 45 IEEE Trans. Cybern. 5 https://doi.org/10.1109/TCYB.2014.2343242 https://www.wikidata.org/entity/Q51053987 db/journals/tcyb/tcyb45.html#LuoCSW15

Lijun Wu 0001 Kaile Su Shaowei Cai 0001 Xiaosong Zhang 0001 Chenyi Zhang 0001 Shupeng Wang An I/O Efficient Approach for Detecting All Accepting Cycles. 730-744 2015 41 IEEE Trans. Software Eng. 8 https://doi.org/10.1109/TSE.2015.2411284 http://doi.ieeecomputersociety.org/10.1109/TSE.2015.2411284 db/journals/tse/tse41.html#WuSCZZW15

Lijun Wu 0001 Huijia Huang Kaile Su Shaowei Cai 0001 Xiaosong Zhang 0001 An I/O Efficient Model Checking Algorithm for Large-Scale Systems. 905-915 2015 23 IEEE Trans. Very Large Scale Integr. Syst. 5 https://doi.org/10.1109/TVLSI.2014.2330061 db/journals/tvlsi/tvlsi23.html#WuHSCZ15

Shaowei Cai 0001 Jinkun Lin Kaile Su Two Weighting Local Search for Minimum Vertex Cover. 1107-1113 2015 AAAI https://doi.org/10.1609/aaai.v29i1.9357 conf/aaai/2015 db/conf/aaai/aaai2015.html#CaiLS15 Shaowei Cai 0001 Balance between Complexity and Quality: Local Search for Minimum Vertex Cover in Massive Graphs. 747-753 2015 IJCAI http://ijcai.org/Abstract/15/111 conf/ijcai/2015 db/conf/ijcai/ijcai2015.html#Cai15 Jinkun Lin Chuan Luo 0002 Shaowei Cai 0001 Kaile Su Dan Hao 0001 Lu Zhang 0023 TCA: An Efficient Two-Mode Meta-Heuristic Algorithm for Combinatorial Test Generation (T). 494-505 2015 ASE https://doi.org/10.1109/ASE.2015.61 https://doi.ieeecomputersociety.org/10.1109/ASE.2015.61 https://dl.acm.org/citation.cfm?id=3343948 conf/kbse/2015 db/conf/kbse/ase2015.html#LinLCSH015 Shaowei Cai 0001 Chuan Luo 0002 Kaile Su CCAnr: A Configuration Checking Based Local Search Solver for Non-random Satisfiability. 1-8 2015 SAT https://doi.org/10.1007/978-3-319-24318-4_1 conf/sat/2015 db/conf/sat/sat2015.html#CaiLS15

Chuan Luo 0002 Kaile Su Shaowei Cai 0001 More efficient two-mode stochastic local search for random 3-satisfiability. 665-680 2014 41 Appl. Intell. 3 https://doi.org/10.1007/s10489-014-0556-7 db/journals/apin/apin41.html#LuoSC14

Shaowei Cai 0001 Chuan Luo 0002 Kaile Su Scoring Functions Based on Second Level Score for k-SAT with Long Clauses. 413-441 2014 51 J. Artif. Intell. Res. https://doi.org/10.1613/jair.4480 https://www.wikidata.org/entity/Q129490036 db/journals/jair/jair51.html#CaiLS14

Shaowei Cai 0001 Chuan Luo 0002 John Thornton 0001 Kaile Su Tailoring Local Search for Partial MaxSAT. 2623-2629 2014 AAAI https://doi.org/10.1609/aaai.v28i1.9109 conf/aaai/2014 db/conf/aaai/aaai2014.html#CaiLTS14 Chuan Luo 0002 Shaowei Cai 0001 Wei Wu 0042 Kaile Su Double Configuration Checking in Stochastic Local Search for Satisfiability. 2703-2709 2014 AAAI https://doi.org/10.1609/aaai.v28i1.9110 conf/aaai/2014 db/conf/aaai/aaai2014.html#LuoCWS14

Shaowei Cai 0001 Kaile Su Chuan Luo 0002 Abdul Sattar 0001 NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover. 2014 abs/1402.0584 CoRR http://arxiv.org/abs/1402.0584 db/journals/corr/corr1402.html#CaiSLS14

Shaowei Cai 0001 Kaile Su Local search for Boolean Satisfiability with configuration checking and subscore. 75-98 2013 204 Artif. Intell. https://doi.org/10.1016/j.artint.2013.09.001 db/journals/ai/ai204.html#CaiS13

Fei Yan Shaowei Cai 0001 Ming Zhang 0004 Guojun Liu Zhi-Hong Deng 0001 A clique-superposition model for social networks. 1-19 2013 56 Sci. China Inf. Sci. 5 https://doi.org/10.1007/s11432-011-4526-y db/journals/chinaf/chinaf56.html#YanCZLD13

Shaowei Cai 0001 Kaile Su Chuan Luo 0002 Abdul Sattar 0001 NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover. 687-716 2013 46 J. Artif. Intell. Res. https://doi.org/10.1613/jair.3907 db/journals/jair/jair46.html#CaiSLS13

Shaowei Cai 0001 Kaile Su Chuan Luo 0002 Improving WalkSAT for Random k-Satisfiability Problem with k > 3. 2013 AAAI https://doi.org/10.1609/aaai.v27i1.8554 conf/aaai/2013 db/conf/aaai/aaai2013.html#CaiSL13 145-151 Chuan Luo 0002 Shaowei Cai 0001 Wei Wu 0042 Kaile Su Focused Random Walk with Configuration Checking and Break Minimum for Satisfiability. 481-496 2013 CP https://doi.org/10.1007/978-3-642-40627-0_37 conf/cp/2013 db/conf/cp/cp2013.html#LuoCWS13 Shaowei Cai 0001 Kaile Su Comprehensive Score: Towards Efficient Local Search for SAT with Long Clauses. 2013 IJCAI http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6206 http://ijcai.org/Abstract/13/080 conf/ijcai/2013 db/conf/ijcai/ijcai2013.html#CaiS13 489-495 Shaowei Cai 0001 Kaile Su Configuration Checking with Aspiration in Local Search for SAT. 2012 AAAI https://doi.org/10.1609/aaai.v26i1.8133 conf/aaai/2012 db/conf/aaai/aaai2012.html#CaiS12 434-440 Shaowei Cai 0001 Kaile Su Abdul Sattar 0001 Two New Local Search Strategies for Minimum Vertex Cover. 2012 AAAI https://doi.org/10.1609/aaai.v26i1.8125 conf/aaai/2012 db/conf/aaai/aaai2012.html#CaiSS12 441-447 Chuan Luo 0002 Kaile Su Shaowei Cai 0001 Improving Local Search for Random 3-SAT Using Quantitative Configuration Checking. 570-575 2012 ECAI https://doi.org/10.3233/978-1-61499-098-7-570 conf/ecai/2012 db/conf/ecai/ecai2012.html#LuoSC12

Shaowei Cai 0001 Kaile Su Abdul Sattar 0001 Local search with edge weighting and configuration checking heuristics for minimum vertex cover. 1672-1696 2011 175 Artif. Intell. 9-10 https://doi.org/10.1016/j.artint.2011.03.003 db/journals/ai/ai175.html#CaiSS11

Shaowei Cai 0001 Kaile Su Local Search with Configuration Checking for SAT. 59-66 2011 ICTAI https://doi.org/10.1109/ICTAI.2011.18 https://doi.ieeecomputersociety.org/10.1109/ICTAI.2011.18 conf/ictai/2011 db/conf/ictai/ictai2011.html#CaiS11 Shaowei Cai 0001 Kaile Su Qingliang Chen EWLS: A New Local Search for Minimum Vertex Cover. 2010 AAAI https://doi.org/10.1609/aaai.v24i1.7539 conf/aaai/2010 db/conf/aaai/aaai2010.html#CaiSC10 45-50 Faisal N. Abu-Khzam Armin Biere Christian Blum 0001 Dongbo Bu Zhiteng Chao Chen Chen Haicheng Chen Jiejiang Chen Peilin Chen Polong Chen Qingliang Chen Shengqi Chen 0001 Xin Chen Yijia Chen 0001 Zhenbang Chen 0001 Zhihan Chen 0001 Zhiming Chi Murali Chintalapati Yi Chu Shaoke Cui Yingnong Dang Zhi-Hong Deng 0001 Chao Du Kaiqiang Duan Judith Egan Biqing Fang Mathias Fleury Huimin Fu 0002 Ming Fu Yingjie Fu Jian Gao 0007 Shike Ge Jiazhen Gu Dan Hao 0001 Bing He Xiang He 0005 Xiaoyu He 0001 Holger H. Hoos Wenying Hou Chunming Hu Hao Hu 0008 Shuli Hu Cheng-Chao Huang Huijia Huang Junying Huang Pei Huang 0002 Shiyu Huang 0001 Wenxuan Huang Yundu Huang David N. Jansen Jia Ji Fuqi Jia Tao Jiang Zite Jiang Zhong Jie Chenghou Jin Kenji Kanazawa Sadaf Khan Qiuxia Lai Zhendong Lei Bohan Li 0002 Chu Min Li 0001Chu-Min Li 0001 Dawei Li Ge Li 0001 Huawei Li 0001 Jia Li Jinyuan Li Min Li 0019 Ruizhi Li Xiaowei Li 0001 Ximing Li 0002 Yan Li 0165 Yibei Li Yongjian Li Yuanjie Li Ze Li 0005 Ziqun Li Shengwen Liang Jiabao Lin Jinkun Lin Peng Lin Qingwei Lin Boxiao Liu Chanjuan Liu 0001 Guangyuan Liu Guojun Liu Jun Liu 0001 Meng Liu Minghao Liu 0001 Zizhen Liu Zongxin Liu 0001 Chuan Luo 0002 Weilin Luo Yi Lv Yiqi Lv Feifei Ma Kun Ma Wuyang Mao Jianan Mu Dantong Ouyang Shiwei Pan Jun Pang 0001 Cong Peng 0004 Yuhang Qian Bo Qiao 0001 Si Qin Saravanakumar Rajmohan Shohei Sassa Abdul Sattar 0001 Peter Shaw 0001 Zhengyuan Shi Jianping Song Darren Strash Kaile Su Yiwen Sun Yuchen Sun Zeyu Sun 0004 Xiaoxia Tao Yue Tao John Thornton 0001 Hai Wan Haoran Wang Ji Wang 0001 Kai Wang Shaojiang Wang Shimao Wang Shupeng Wang Xinyu Wang Yiyuan Wang 0002 Zhonghan Wang Ke Wei Guanfeng Wu Jieyu Wu Lijun Wu 0001 Tianyong Wu Wei Wu 0011 Wei Wu 0042 Yi Xiang 0002 Zhanhao Xiao Wenqian Xing Yingfei Xiong 0001 Qiang Xu 0001 Wenhao Xu Yang Xu 0001 Fei Yan Pengfei Yang 0002 Xin Yang 0012 Zhenwei Yang Randolph Yao Yuan Yao Moritoshi Yasunaga Furong Ye Jing Ye 0001 Rongzhen Ye Minghao Yin Haihang You Bohua Zhan Binzhen ZhangBingzhen Zhang Chenyi Zhang 0001 Delong Zhang Dongmei Zhang 0001 Fan Zhang Guojing Zhang Haochen Zhang Hongyu Zhang 0002 Jian Zhang 0001 Lijun Zhang 0001 Liming Zhang 0005 Lu Zhang 0023 Ming Zhang 0004 Weikang Zhang Wenjie Zhang 0007 Xianyin Zhang Xiaosong Zhang 0001 Xindi Zhang 0001 Xinyu Zhang Mengyu Zhao Pu Zhao 0004 Qiyuan Zhao Yixuan Zhao Yongwang Zhao Yongxin Zhao Yujiao Zhao Hongzhen Zhong Shuai Zhou Wenbo Zhou 0003 Yangfan Zhou 0002 Yupeng Zhou Yuren Zhou Lingfeng Zhu Qihao Zhu Mengchuan Zou Zhonglin Zu