default search action
BibTeX records: Shaowei Cai 0001
@article{DBLP:journals/tcad/CuiLYLWLCH26,
author = {Shaoke Cui and
Chuan Luo and
Zhenwei Yang and
Jiabao Lin and
Wei Wu and
Chanjuan Liu and
Shaowei Cai and
Chunming Hu},
title = {CirOPT: Toward Effective Combinational Equivalence Checking via Compiler
Optimization},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {45},
number = {4},
pages = {1841--1851},
year = {2026},
url = {https://doi.org/10.1109/TCAD.2025.3608060},
doi = {10.1109/TCAD.2025.3608060},
timestamp = {Thu, 02 Apr 2026 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/CuiLYLWLCH26.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/todaes/ChenZQC26,
author = {Zhihan Chen and
Xindi Zhang and
Yuhang Qian and
Shaowei Cai},
title = {Datapath Combinational Equivalence Checking With Hybrid Sweeping Engines
and Parallelization},
journal = {{ACM} Trans. Design Autom. Electr. Syst.},
volume = {31},
number = {1},
pages = {18:1--18:27},
year = {2026},
url = {https://doi.org/10.1145/3773040},
doi = {10.1145/3773040},
timestamp = {Wed, 27 May 2026 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/todaes/ChenZQC26.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/ZhangYCC26,
author = {Xindi Zhang and
Furong Ye and
Zhihan Chen and
Shaowei Cai},
editor = {Augusto Sampaio and
Marielle Stoelinga},
title = {FastLEC: Parallel Datapath Equivalence Checking with Hybrid Engines},
booktitle = {Formal Methods - 27th International Symposium, {FM} 2026, Tokyo, Japan,
May 18-22, 2026, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {16556},
pages = {89--108},
publisher = {Springer},
year = {2026},
url = {https://doi.org/10.1007/978-3-032-26204-2\_5},
doi = {10.1007/978-3-032-26204-2\_5},
timestamp = {Thu, 28 May 2026 08:35:04 +0200},
biburl = {https://dblp.org/rec/conf/fm/ZhangYCC26.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/LinCZL25,
author = {Peng Lin and
Shaowei Cai and
Mengchuan Zou and
Jinkun Lin},
title = {Local-MIP: Efficient local search for mixed integer programming},
journal = {Artif. Intell.},
volume = {348},
pages = {104405},
year = {2025},
url = {https://doi.org/10.1016/j.artint.2025.104405},
doi = {10.1016/J.ARTINT.2025.104405},
timestamp = {Tue, 14 Oct 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/LinCZL25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/chinaf/LiuLLCLZCZ25,
author = {Chanjuan Liu and
Guangyuan Liu and
Chuan Luo and
Shaowei Cai and
Zhendong Lei and
Wenjie Zhang and
Yi Chu and
Guojing Zhang},
title = {Optimizing local search-based partial MaxSAT solving via initial assignment
prediction},
journal = {Sci. China Inf. Sci.},
volume = {68},
number = {2},
year = {2025},
url = {https://doi.org/10.1007/s11432-023-3900-7},
doi = {10.1007/S11432-023-3900-7},
timestamp = {Thu, 05 Feb 2026 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/chinaf/LiuLLCLZCZ25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/integration/ChaoZHLZYCLL25,
author = {Zhiteng Chao and
Xindi Zhang and
Junying Huang and
Zizhen Liu and
Yixuan Zhao and
Jing Ye and
Shaowei Cai and
Huawei Li and
Xiaowei Li},
title = {A fast test compaction method using dedicated Pure MaxSAT solver embedded
in {DFT} flow},
journal = {Integr.},
volume = {100},
pages = {102265},
year = {2025},
url = {https://doi.org/10.1016/j.vlsi.2024.102265},
doi = {10.1016/J.VLSI.2024.102265},
timestamp = {Wed, 27 May 2026 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/integration/ChaoZHLZYCLL25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/ZhaoWCZCY25,
author = {Yujiao Zhao and
Yiyuan Wang and
Yi Chu and
Wenbo Zhou and
Shaowei Cai and
Minghao Yin},
title = {Improving Local Search Algorithm for Pseudo Boolean Optimization},
journal = {J. Artif. Intell. Res.},
volume = {83},
year = {2025},
url = {https://doi.org/10.1613/jair.1.16626},
doi = {10.1613/JAIR.1.16626},
timestamp = {Sun, 01 Feb 2026 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/ZhaoWCZCY25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Ye0025,
author = {Furong Ye and
Chuan Luo and
Shaowei Cai},
editor = {Toby Walsh and
Julie Shah and
Zico Kolter},
title = {Better Understandings and Configurations in MaxSAT Stochastic Local
Search Solvers via Anytime Performance Analysis},
booktitle = {Thirty-Ninth {AAAI} Conference on Artificial Intelligence, Thirty-Seventh
Conference on Innovative Applications of Artificial Intelligence,
Fifteenth Symposium on Educational Advances in Artificial Intelligence,
{AAAI} 2025, Philadelphia, PA, USA, February 25 - March 4, 2025},
pages = {27153--27160},
publisher = {{AAAI} Press},
year = {2025},
url = {https://doi.org/10.1609/aaai.v39i25.34923},
doi = {10.1609/AAAI.V39I25.34923},
timestamp = {Wed, 18 Mar 2026 17:07:12 +0100},
biburl = {https://dblp.org/rec/conf/aaai/Ye0025.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Lin0Z025,
author = {Peng Lin and
Shaowei Cai and
Mengchuan Zou and
Shengqi Chen},
editor = {Maria Garcia de la Banda},
title = {Parallel {MIP} Solving with Dynamic Task Decomposition},
booktitle = {31st International Conference on Principles and Practice of Constraint
Programming, {CP} 2025, Glasgow, Scotland, August 10-15, 2025},
series = {LIPIcs},
volume = {340},
pages = {26:1--26:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2025},
url = {https://doi.org/10.4230/LIPIcs.CP.2025.26},
doi = {10.4230/LIPICS.CP.2025.26},
timestamp = {Sun, 07 Dec 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/Lin0Z025.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/ChaoZZMLLCYLL25,
author = {Zhiteng Chao and
Xindi Zhang and
Xinyu Zhang and
Jianan Mu and
Zizhen Liu and
Shengwen Liang and
Shaowei Cai and
Jing Ye and
Xiaowei Li and
Huawei Li},
title = {PastATPG: {A} Hybrid {ATPG} Framework for Better Test Compaction with
Partial Assignment {SAT}},
booktitle = {62nd {ACM/IEEE} Design Automation Conference, {DAC} 2025, San Francisco,
CA, USA, June 22-25, 2025},
pages = {1--7},
publisher = {{IEEE}},
year = {2025},
url = {https://doi.org/10.1109/DAC63849.2025.11132425},
doi = {10.1109/DAC63849.2025.11132425},
timestamp = {Wed, 27 May 2026 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/ChaoZZMLLCYLL25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/QianCZC25,
author = {Yuhang Qian and
Zhihan Chen and
Xindi Zhang and
Shaowei Cai},
title = {{X-SAT:} An Efficient Circuit-Based {SAT} Solver},
booktitle = {62nd {ACM/IEEE} Design Automation Conference, {DAC} 2025, San Francisco,
CA, USA, June 22-25, 2025},
pages = {1--7},
publisher = {{IEEE}},
year = {2025},
url = {https://doi.org/10.1109/DAC63849.2025.11132604},
doi = {10.1109/DAC63849.2025.11132604},
timestamp = {Wed, 27 May 2026 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/QianCZC25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/ZhouZZJYC25,
author = {Shuai Zhou and
Weikang Zhang and
Xindi Zhang and
Zite Jiang and
Haihang You and
Shaowei Cai},
title = {Parallel Dynamic Partitioning for Datapath Combinational Equivalence
Checking},
booktitle = {62nd {ACM/IEEE} Design Automation Conference, {DAC} 2025, San Francisco,
CA, USA, June 22-25, 2025},
pages = {1--7},
publisher = {{IEEE}},
year = {2025},
url = {https://doi.org/10.1109/DAC63849.2025.11132837},
doi = {10.1109/DAC63849.2025.11132837},
timestamp = {Wed, 27 May 2026 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/ZhouZZJYC25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/ZhuZLC25,
author = {Lingfeng Zhu and
Xindi Zhang and
Yongjian Li and
Shaowei Cai},
title = {Leveraging Critical Proof Obligations for Efficient {IC3} Verification},
booktitle = {62nd {ACM/IEEE} Design Automation Conference, {DAC} 2025, San Francisco,
CA, USA, June 22-25, 2025},
pages = {1--7},
publisher = {{IEEE}},
year = {2025},
url = {https://doi.org/10.1109/DAC63849.2025.11132734},
doi = {10.1109/DAC63849.2025.11132734},
timestamp = {Wed, 27 May 2026 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/ZhuZLC25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/TaoC25,
author = {Yue Tao and
Shaowei Cai},
title = {VeriSAT: the Hardware Design of Modern {SAT} Solver},
booktitle = {{IEEE/ACM} International Conference On Computer Aided Design, {ICCAD}
2025, Munich, Germany, October 26-30, 2025},
pages = {1--9},
publisher = {{IEEE}},
year = {2025},
url = {https://doi.org/10.1109/ICCAD66269.2025.11240752},
doi = {10.1109/ICCAD66269.2025.11240752},
timestamp = {Thu, 08 Jan 2026 15:18:32 +0100},
biburl = {https://dblp.org/rec/conf/iccad/TaoC25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/PanW025,
author = {Shiwei Pan and
Yiyuan Wang and
Shaowei Cai},
title = {An Efficient Core-Guided Solver for Weighted Partial MaxSAT},
booktitle = {Proceedings of the Thirty-Fourth International Joint Conference on
Artificial Intelligence, {IJCAI} 2025, Montreal, Canada, August 16-22,
2025},
pages = {2647--2656},
publisher = {ijcai.org},
year = {2025},
url = {https://doi.org/10.24963/ijcai.2025/295},
doi = {10.24963/IJCAI.2025/295},
timestamp = {Wed, 24 Sep 2025 17:45:28 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/PanW025.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LuoCSZWLCH25,
author = {Chuan Luo and
Shaoke Cui and
Jianping Song and
Xindi Zhang and
Wei Wu and
Chanjuan Liu and
Shaowei Cai and
Chunming Hu},
title = {SMTgazer: Learning to Schedule {SMT} Algorithms via Bayesian Optimization},
booktitle = {40th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2025, Seoul, Korea, Republic of, November 16-20, 2025},
pages = {1273--1285},
publisher = {{IEEE}},
year = {2025},
url = {https://doi.org/10.1109/ASE63991.2025.00109},
doi = {10.1109/ASE63991.2025.00109},
timestamp = {Wed, 27 May 2026 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/LuoCSZWLCH25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setss/Cai25,
author = {Shaowei Cai},
editor = {Jonathan P. Bowen and
Andrea Turrini},
title = {More Paradigms of {SAT} Solvers: Circuit-SAT, FPGA-Based SAT, LLM-Based
{SAT}},
booktitle = {Engineering Trustworthy Software Systems - 7th International School,
{SETSS} 2025, Beijing, China, May 17-23, 2025, Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {16481},
pages = {3--32},
publisher = {Springer},
year = {2025},
url = {https://doi.org/10.1007/978-981-95-8617-2\_1},
doi = {10.1007/978-981-95-8617-2\_1},
timestamp = {Sun, 24 May 2026 12:48:35 +0200},
biburl = {https://dblp.org/rec/conf/setss/Cai25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/JiangCLLC25,
author = {Tao Jiang and
Shaowei Cai and
Ziqun Li and
Jiabao Lin and
Yijia Chen},
editor = {Min Li and
Mingji Xia and
Peng Zhang},
title = {Separation Between Walksat and {DPLL}},
booktitle = {Theory and Applications of Models of Computation - 19th Annual Conference,
{TAMC} 2025, Jinan, China, September 19-21, 2025, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {16084},
pages = {93--106},
publisher = {Springer},
year = {2025},
url = {https://doi.org/10.1007/978-981-95-4839-2\_8},
doi = {10.1007/978-981-95-4839-2\_8},
timestamp = {Wed, 20 May 2026 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tamc/JiangCLLC25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2501-14740,
author = {Zhihan Chen and
Xindi Zhang and
Yuhang Qian and
Shaowei Cai},
title = {Datapath Combinational Equivalence Checking With Hybrid Sweeping Engines
and Parallelization},
journal = {CoRR},
volume = {abs/2501.14740},
year = {2025},
url = {https://doi.org/10.48550/arXiv.2501.14740},
doi = {10.48550/ARXIV.2501.14740},
eprinttype = {arXiv},
eprint = {2501.14740},
timestamp = {Wed, 27 May 2026 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2501-14740.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2507-22876,
author = {Yiwen Sun and
Furong Ye and
Zhihan Chen and
Ke Wei and
Shaowei Cai},
title = {Automatically discovering heuristics in a complex {SAT} solver with
large language models},
journal = {CoRR},
volume = {abs/2507.22876},
year = {2025},
url = {https://doi.org/10.48550/arXiv.2507.22876},
doi = {10.48550/ARXIV.2507.22876},
eprinttype = {arXiv},
eprint = {2507.22876},
timestamp = {Wed, 27 May 2026 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2507-22876.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2509-04007,
author = {Jinyuan Li and
Yi Chu and
Yiwen Sun and
Mengchuan Zou and
Shaowei Cai},
title = {AutoPBO: LLM-powered Optimization for Local Search {PBO} Solvers},
journal = {CoRR},
volume = {abs/2509.04007},
year = {2025},
url = {https://doi.org/10.48550/arXiv.2509.04007},
doi = {10.48550/ARXIV.2509.04007},
eprinttype = {arXiv},
eprint = {2509.04007},
timestamp = {Sun, 12 Oct 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2509-04007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2512-06627,
author = {Xindi Zhang and
Furong Ye and
Zhihan Chen and
Shaowei Cai},
title = {FastLEC: Parallel Datapath Equivalence Checking with Hybrid Engines},
journal = {CoRR},
volume = {abs/2512.06627},
year = {2025},
url = {https://doi.org/10.48550/arXiv.2512.06627},
doi = {10.48550/ARXIV.2512.06627},
eprinttype = {arXiv},
eprint = {2512.06627},
timestamp = {Wed, 27 May 2026 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2512-06627.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/WangJC24,
author = {Yiyuan Wang and
Chenghou Jin and
Shaowei Cai},
title = {PathLAD+: Towards effective exact methods for subgraph isomorphism
problem},
journal = {Artif. Intell.},
volume = {337},
pages = {104219},
year = {2024},
url = {https://doi.org/10.1016/j.artint.2024.104219},
doi = {10.1016/J.ARTINT.2024.104219},
timestamp = {Tue, 08 Jul 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/WangJC24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/FuCWLYX24,
author = {Huimin Fu and
Shaowei Cai and
Guanfeng Wu and
Jun Liu and
Xin Yang and
Yang Xu},
title = {Improving two-mode algorithm via probabilistic selection for solving
satisfiability problem},
journal = {Inf. Sci.},
volume = {653},
pages = {119751},
year = {2024},
url = {https://doi.org/10.1016/j.ins.2023.119751},
doi = {10.1016/J.INS.2023.119751},
timestamp = {Fri, 08 May 2026 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isci/FuCWLYX24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcst/ChenCGGLL24,
author = {Zhihan Chen and
Shaowei Cai and
Jian Gao and
Shike Ge and
Chanjuan Liu and
Jinkun Lin},
title = {Heuristic Search with Cut Point Based Strategy for Critical Node Problem},
journal = {J. Comput. Sci. Technol.},
volume = {39},
number = {6},
pages = {1328--1340},
year = {2024},
url = {https://doi.org/10.1007/s11390-024-2850-0},
doi = {10.1007/S11390-024-2850-0},
timestamp = {Wed, 27 May 2026 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcst/ChenCGGLL24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/LuoCWZCX24,
author = {Weilin Luo and
Polong Chen and
Hai Wan and
Hongzhen Zhong and
Shaowei Cai and
Zhanhao Xiao},
title = {Goal-conflict identification based on local search and fast boundary-condition
verification based on incremental satisfiability filter},
journal = {J. Syst. Softw.},
volume = {213},
pages = {112036},
year = {2024},
url = {https://doi.org/10.1016/j.jss.2024.112036},
doi = {10.1016/J.JSS.2024.112036},
timestamp = {Fri, 31 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/LuoCWZCX24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MaLCZ24,
author = {Kun Ma and
Yongjian Li and
Shaowei Cai and
Yongxin Zhao},
title = {A local search approach to protocol verification},
journal = {Theor. Comput. Sci.},
volume = {1008},
pages = {114675},
year = {2024},
url = {https://doi.org/10.1016/j.tcs.2024.114675},
doi = {10.1016/J.TCS.2024.114675},
timestamp = {Fri, 21 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/MaLCZ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcyb/LuoXCH24,
author = {Chuan Luo and
Wenqian Xing and
Shaowei Cai and
Chunming Hu},
title = {NuSC: An Effective Local Search Algorithm for Solving the Set Covering
Problem},
journal = {{IEEE} Trans. Cybern.},
volume = {54},
number = {3},
pages = {1403--1416},
year = {2024},
url = {https://doi.org/10.1109/TCYB.2022.3199147},
doi = {10.1109/TCYB.2022.3199147},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcyb/LuoXCH24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aspdac/ChaoZH000024,
author = {Zhiteng Chao and
Xindi Zhang and
Junying Huang and
Jing Ye and
Shaowei Cai and
Huawei Li and
Xiaowei Li},
title = {A Fast Test Compaction Method for Commercial {DFT} Flow Using Dedicated
Pure-MaxSAT Solver},
booktitle = {Proceedings of the 29th Asia and South Pacific Design Automation Conference,
{ASPDAC} 2024, Incheon, Korea, January 22-25, 2024},
pages = {503--508},
publisher = {{IEEE}},
year = {2024},
url = {https://doi.org/10.1109/ASP-DAC58780.2024.10473833},
doi = {10.1109/ASP-DAC58780.2024.10473833},
timestamp = {Wed, 27 May 2026 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aspdac/ChaoZH000024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ZhaoCQ24,
author = {Mengyu Zhao and
Shaowei Cai and
Yuhang Qian},
editor = {Arie Gurfinkel and
Vijay Ganesh},
title = {Distributed {SMT} Solving Based on Dynamic Variable-Level Partitioning},
booktitle = {Computer Aided Verification - 36th International Conference, {CAV}
2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14681},
pages = {68--88},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-65627-9\_4},
doi = {10.1007/978-3-031-65627-9\_4},
timestamp = {Tue, 24 Mar 2026 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/ZhaoCQ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/ChenLH024,
author = {Zhihan Chen and
Peng Lin and
Hao Hu and
Shaowei Cai},
editor = {Paul Shaw},
title = {ParLS-PBO: {A} Parallel Local Search Solver for Pseudo Boolean Optimization},
booktitle = {30th International Conference on Principles and Practice of Constraint
Programming, {CP} 2024, Girona, Spain, September 2-6, 2024},
series = {LIPIcs},
volume = {307},
pages = {5:1--5:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.CP.2024.5},
doi = {10.4230/LIPICS.CP.2024.5},
timestamp = {Wed, 27 May 2026 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/ChenLH024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/LinZ024,
author = {Peng Lin and
Mengchuan Zou and
Shaowei Cai},
editor = {Paul Shaw},
title = {An Efficient Local Search Solver for Mixed Integer Programming},
booktitle = {30th International Conference on Principles and Practice of Constraint
Programming, {CP} 2024, Girona, Spain, September 2-6, 2024},
series = {LIPIcs},
volume = {307},
pages = {19:1--19:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.CP.2024.19},
doi = {10.4230/LIPICS.CP.2024.19},
timestamp = {Mon, 03 Mar 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/LinZ024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/HeLZC24,
author = {Xiang He and
Bohan Li and
Mengyu Zhao and
Shaowei Cai},
editor = {Andr{\'{e}} Platzer and
Kristin Yvonne Rozier and
Matteo Pradella and
Matteo Rossi},
title = {A Local Search Algorithm for MaxSMT(LIA)},
booktitle = {Formal Methods - 26th International Symposium, {FM} 2024, Milan, Italy,
September 9-13, 2024, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14933},
pages = {55--72},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-71162-6\_3},
doi = {10.1007/978-3-031-71162-6\_3},
timestamp = {Mon, 09 Dec 2024 22:46:03 +0100},
biburl = {https://dblp.org/rec/conf/fm/HeLZC24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Zhang0024,
author = {Xindi Zhang and
Bohan Li and
Shaowei Cai},
title = {Deep Combination of {CDCL(T)} and Local Search for Satisfiability
Modulo Non-Linear Integer Arithmetic Theory},
booktitle = {Proceedings of the 46th {IEEE/ACM} International Conference on Software
Engineering, {ICSE} 2024, Lisbon, Portugal, April 14-20, 2024},
pages = {125:1--125:13},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3597503.3639105},
doi = {10.1145/3597503.3639105},
timestamp = {Wed, 27 May 2026 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/Zhang0024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LinZC024,
author = {Peng Lin and
Mengchuan Zou and
Zhihan Chen and
Shaowei Cai},
title = {ParaILP: {A} Parallel Local Search Framework for Integer Linear Programming
with Cooperative Evolution Mechanism},
booktitle = {Proceedings of the Thirty-Third International Joint Conference on
Artificial Intelligence, {IJCAI} 2024, Jeju, South Korea, August 3-9,
2024},
pages = {6949--6957},
publisher = {ijcai.org},
year = {2024},
url = {https://www.ijcai.org/proceedings/2024/768},
timestamp = {Wed, 27 May 2026 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/LinZC024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kdd/LiHMYHZ024,
author = {Yan Li and
Yundu Huang and
Wuyang Mao and
Furong Ye and
Xiang He and
Zhonglin Zu and
Shaowei Cai},
editor = {Ricardo Baeza{-}Yates and
Francesco Bonchi},
title = {Bi-Objective Contract Allocation for Guaranteed Delivery Advertising},
booktitle = {Proceedings of the 30th {ACM} {SIGKDD} Conference on Knowledge Discovery
and Data Mining, {KDD} 2024, Barcelona, Spain, August 25-29, 2024},
pages = {1691--1700},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3637528.3671752},
doi = {10.1145/3637528.3671752},
timestamp = {Mon, 09 Mar 2026 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kdd/LiHMYHZ024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/ChuLY024,
author = {Yi Chu and
Chu{-}Min Li and
Furong Ye and
Shaowei Cai},
editor = {Supratik Chakraborty and
Jie{-}Hong Roland Jiang},
title = {Enhancing MaxSAT Local Search via a Unified Soft Clause Weighting
Scheme},
booktitle = {27th International Conference on Theory and Applications of Satisfiability
Testing, {SAT} 2024, Pune, India, August 21-24, 2024},
series = {LIPIcs},
volume = {305},
pages = {8:1--8:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.SAT.2024.8},
doi = {10.4230/LIPICS.SAT.2024.8},
timestamp = {Fri, 21 Nov 2025 23:44:11 +0100},
biburl = {https://dblp.org/rec/conf/sat/ChuLY024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/WangZLC24,
author = {Zhonghan Wang and
Bohua Zhan and
Bohan Li and
Shaowei Cai},
editor = {Rayna Dimitrova and
Ori Lahav and
Sebastian Wolff},
title = {Efficient Local Search for Nonlinear Real Arithmetic},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 25th International
Conference, {VMCAI} 2024, London, United Kingdom, January 15-16, 2024,
Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14499},
pages = {326--349},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-50524-9\_15},
doi = {10.1007/978-3-031-50524-9\_15},
timestamp = {Fri, 26 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/WangZLC24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{DBLP:data/11/LinZC24,
author = {Peng Lin and
Mengchuan Zou and
Shaowei Cai},
title = {Local-MIP},
publisher = {{DROPS} Artifacts},
year = {2024},
month = nov,
howpublished = {\url{https://doi.org/10.4230/artifacts.22500}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.4230/artifacts.22500},
doi = {10.4230/ARTIFACTS.22500},
timestamp = {Thu, 16 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/data/11/LinZC24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-10705,
author = {Yiwen Sun and
Furong Ye and
Xianyin Zhang and
Shiyu Huang and
Bingzhen Zhang and
Ke Wei and
Shaowei Cai},
title = {AutoSAT: Automatically Optimize {SAT} Solvers via Large Language Models},
journal = {CoRR},
volume = {abs/2402.10705},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.10705},
doi = {10.48550/ARXIV.2402.10705},
eprinttype = {arXiv},
eprint = {2402.10705},
timestamp = {Tue, 19 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-10705.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-06568,
author = {Furong Ye and
Chuan Luo and
Shaowei Cai},
title = {Better Understandings and Configurations in MaxSAT Local Search Solvers
via Anytime Performance Analysis},
journal = {CoRR},
volume = {abs/2403.06568},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.06568},
doi = {10.48550/ARXIV.2403.06568},
eprinttype = {arXiv},
eprint = {2403.06568},
timestamp = {Fri, 23 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-06568.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2404-16387,
author = {Xindi Zhang and
Zhihan Chen and
Shaowei Cai},
title = {Revisiting Restarts of {CDCL:} Should the Search Information be Preserved?},
journal = {CoRR},
volume = {abs/2404.16387},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2404.16387},
doi = {10.48550/ARXIV.2404.16387},
eprinttype = {arXiv},
eprint = {2404.16387},
timestamp = {Wed, 27 May 2026 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2404-16387.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2406-15782,
author = {Xiang He and
Bohan Li and
Mengyu Zhao and
Shaowei Cai},
title = {A Local Search Algorithm for MaxSMT(LIA)},
journal = {CoRR},
volume = {abs/2406.15782},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2406.15782},
doi = {10.48550/ARXIV.2406.15782},
eprinttype = {arXiv},
eprint = {2406.15782},
timestamp = {Fri, 15 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2406-15782.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2407-21729,
author = {Zhihan Chen and
Peng Lin and
Hao Hu and
Shaowei Cai},
title = {ParLS-PBO: {A} Parallel Local Search Solver for Pseudo Boolean Optimization},
journal = {CoRR},
volume = {abs/2407.21729},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2407.21729},
doi = {10.48550/ARXIV.2407.21729},
eprinttype = {arXiv},
eprint = {2407.21729},
timestamp = {Wed, 27 May 2026 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2407-21729.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2408-12304,
author = {Hao Hu and
Shaowei Cai},
title = {{OPTDTALS:} Approximate Logic Synthesis via Optimal Decision Trees
Approach},
journal = {CoRR},
volume = {abs/2408.12304},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2408.12304},
doi = {10.48550/ARXIV.2408.12304},
eprinttype = {arXiv},
eprint = {2408.12304},
timestamp = {Tue, 04 Mar 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2408-12304.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2409-19668,
author = {Xiang He and
Peng Lin and
Shaowei Cai},
title = {Local Search for Integer Quadratic Programming},
journal = {CoRR},
volume = {abs/2409.19668},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2409.19668},
doi = {10.48550/ARXIV.2409.19668},
eprinttype = {arXiv},
eprint = {2409.19668},
timestamp = {Fri, 15 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2409-19668.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2411-12271,
author = {Bohan Li and
Dawei Li and
Ming Fu and
Shaowei Cai},
title = {SMT-Layout: {A} MaxSMT-based Approach Supporting Real-time Interaction
of Real-world {GUI} Layout},
journal = {CoRR},
volume = {abs/2411.12271},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2411.12271},
doi = {10.48550/ARXIV.2411.12271},
eprinttype = {arXiv},
eprint = {2411.12271},
timestamp = {Fri, 28 Feb 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2411-12271.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/ChenCWXJY23,
author = {Jiejiang Chen and
Shaowei Cai and
Yiyuan Wang and
Wenhao Xu and
Jia Ji and
Minghao Yin},
title = {Improved local search for the minimum weight dominating set problem
in massive graphs by using a deep optimization mechanism},
journal = {Artif. Intell.},
volume = {314},
pages = {103819},
year = {2023},
url = {https://doi.org/10.1016/j.artint.2022.103819},
doi = {10.1016/J.ARTINT.2022.103819},
timestamp = {Tue, 08 Jul 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/ChenCWXJY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/CaiCWZZ23,
author = {Shaowei Cai and
Zhenbang Chen and
Ji Wang and
Bohua Zhan and
Yongwang Zhao},
title = {Preface to the Special Issue on Constraint Solving and Theorem Proving},
journal = {Int. J. Softw. Informatics},
volume = {13},
number = {3},
pages = {243--245},
year = {2023},
url = {https://doi.org/10.21655/ijsi.1673-7288.00299},
doi = {10.21655/IJSI.1673-7288.00299},
timestamp = {Tue, 26 May 2026 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsi/CaiCWZZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/GaoTC23,
author = {Jian Gao and
Xiaoxia Tao and
Shaowei Cai},
title = {Towards more efficient local search algorithms for constrained clustering},
journal = {Inf. Sci.},
volume = {621},
pages = {287--307},
year = {2023},
url = {https://doi.org/10.1016/j.ins.2022.11.107},
doi = {10.1016/J.INS.2022.11.107},
timestamp = {Wed, 25 Feb 2026 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isci/GaoTC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/CaiLZ23,
author = {Shaowei Cai and
Bohan Li and
Xindi Zhang},
title = {Local Search For Satisfiability Modulo Integer Arithmetic Theories},
journal = {{ACM} Trans. Comput. Log.},
volume = {24},
number = {4},
pages = {32:1--32:26},
year = {2023},
url = {https://doi.org/10.1145/3597495},
doi = {10.1145/3597495},
timestamp = {Wed, 27 May 2026 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/CaiLZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Chu0L23,
author = {Yi Chu and
Shaowei Cai and
Chuan Luo},
editor = {Brian Williams and
Yiling Chen and
Jennifer Neville},
title = {NuWLS: Improving Local Search for (Weighted) Partial MaxSAT by New
Weighting Techniques},
booktitle = {Thirty-Seventh {AAAI} Conference on Artificial Intelligence, {AAAI}
2023, Thirty-Fifth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2023, Thirteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2023, Washington, DC, USA, February
7-14, 2023},
pages = {3915--3923},
publisher = {{AAAI} Press},
year = {2023},
url = {https://doi.org/10.1609/aaai.v37i4.25505},
doi = {10.1609/AAAI.V37I4.25505},
timestamp = {Wed, 18 Mar 2026 17:07:12 +0100},
biburl = {https://dblp.org/rec/conf/aaai/Chu0L23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/00010JZS0M023,
author = {Minghao Liu and
Pei Huang and
Fuqi Jia and
Fan Zhang and
Yuchen Sun and
Shaowei Cai and
Feifei Ma and
Jian Zhang},
editor = {Brian Williams and
Yiling Chen and
Jennifer Neville},
title = {Can Graph Neural Networks Learn to Solve the MaxSAT Problem? (Student
Abstract)},
booktitle = {Thirty-Seventh {AAAI} Conference on Artificial Intelligence, {AAAI}
2023, Thirty-Fifth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2023, Thirteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2023, Washington, DC, USA, February
7-14, 2023},
pages = {16264--16265},
publisher = {{AAAI} Press},
year = {2023},
url = {https://doi.org/10.1609/aaai.v37i13.26992},
doi = {10.1609/AAAI.V37I13.26992},
timestamp = {Thu, 01 May 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/00010JZS0M023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Chu0LL023,
author = {Yi Chu and
Shaowei Cai and
Chuan Luo and
Zhendong Lei and
Cong Peng},
editor = {Roland H. C. Yap},
title = {Towards More Efficient Local Search for Pseudo-Boolean Optimization},
booktitle = {29th International Conference on Principles and Practice of Constraint
Programming, {CP} 2023, Toronto, Canada, August 27-31, 2023},
series = {LIPIcs},
volume = {280},
pages = {12:1--12:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CP.2023.12},
doi = {10.4230/LIPICS.CP.2023.12},
timestamp = {Fri, 21 Nov 2025 23:44:11 +0100},
biburl = {https://dblp.org/rec/conf/cp/Chu0LL023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/ZhouZW0WWY23,
author = {Wenbo Zhou and
Yujiao Zhao and
Yiyuan Wang and
Shaowei Cai and
Shimao Wang and
Xinyu Wang and
Minghao Yin},
editor = {Roland H. C. Yap},
title = {Improving Local Search for Pseudo Boolean Optimization by Fragile
Scoring Function and Deep Optimization},
booktitle = {29th International Conference on Principles and Practice of Constraint
Programming, {CP} 2023, Toronto, Canada, August 27-31, 2023},
series = {LIPIcs},
volume = {280},
pages = {41:1--41:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CP.2023.41},
doi = {10.4230/LIPICS.CP.2023.41},
timestamp = {Tue, 09 Dec 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/ZhouZW0WWY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/LiSLKCX23,
author = {Min Li and
Zhengyuan Shi and
Qiuxia Lai and
Sadaf Khan and
Shaowei Cai and
Qiang Xu},
title = {On EDA-Driven Learning for {SAT} Solving},
booktitle = {60th {ACM/IEEE} Design Automation Conference, {DAC} 2023, San Francisco,
CA, USA, July 9-13, 2023},
pages = {1--6},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/DAC56929.2023.10248001},
doi = {10.1109/DAC56929.2023.10248001},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/LiSLKCX23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/Cai23,
author = {Shaowei Cai},
editor = {Alexander Nadel and
Kristin Yvonne Rozier},
title = {Local Search and Its Application in {CDCL/CDCL(T)} solvers for {SAT/SMT}},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2023, Ames, IA, USA,
October 24-27, 2023},
pages = {1},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.34727/2023/isbn.978-3-85448-060-0\_6},
doi = {10.34727/2023/ISBN.978-3-85448-060-0\_6},
timestamp = {Tue, 27 Jan 2026 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/Cai23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/LiC23,
author = {Bohan Li and
Shaowei Cai},
editor = {Alexander Nadel and
Kristin Yvonne Rozier},
title = {Local Search For {SMT} On Linear and Multi-linear Real Arithmetic},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2023, Ames, IA, USA,
October 24-27, 2023},
pages = {1--10},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.34727/2023/isbn.978-3-85448-060-0\_25},
doi = {10.34727/2023/ISBN.978-3-85448-060-0\_25},
timestamp = {Tue, 27 Jan 2026 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/LiC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/ChenZQXC23,
author = {Zhihan Chen and
Xindi Zhang and
Yuhang Qian and
Qiang Xu and
Shaowei Cai},
title = {Integrating Exact Simulation into Sweeping for Datapath Combinational
Equivalence Checking},
booktitle = {{IEEE/ACM} International Conference on Computer Aided Design, {ICCAD}
2023, San Francisco, CA, USA, October 28 - Nov. 2, 2023},
pages = {1--9},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICCAD57390.2023.10323876},
doi = {10.1109/ICCAD57390.2023.10323876},
timestamp = {Wed, 27 May 2026 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccad/ChenZQXC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/WangJ0L23,
author = {Yiyuan Wang and
Chenghou Jin and
Shaowei Cai and
Qingwei Lin},
title = {PathLAD+: An Improved Exact Algorithm for Subgraph Isomorphism Problem},
booktitle = {Proceedings of the Thirty-Second International Joint Conference on
Artificial Intelligence, {IJCAI} 2023, 19th-25th August 2023, Macao,
SAR, China},
pages = {5639--5647},
publisher = {ijcai.org},
year = {2023},
url = {https://doi.org/10.24963/ijcai.2023/626},
doi = {10.24963/IJCAI.2023/626},
timestamp = {Tue, 08 Jul 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/WangJ0L23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/ZhaoL00LZH23,
author = {Qiyuan Zhao and
Chuan Luo and
Shaowei Cai and
Wei Wu and
Jinkun Lin and
Hongyu Zhang and
Chunming Hu},
editor = {Satish Chandra and
Kelly Blincoe and
Paolo Tonella},
title = {CAmpactor: {A} Novel and Effective Local Search Algorithm for Optimizing
Pairwise Covering Arrays},
booktitle = {Proceedings of the 31st {ACM} Joint European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/FSE} 2023, San Francisco, CA, USA, December 3-9, 2023},
pages = {81--93},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3611643.3616284},
doi = {10.1145/3611643.3616284},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/ZhaoL00LZH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/LuoSZL0H23,
author = {Chuan Luo and
Jianping Song and
Qiyuan Zhao and
Yibei Li and
Shaowei Cai and
Chunming Hu},
editor = {Paolo Arcaini and
Maurice H. ter Beek and
Gilles Perrouin and
Iris Reinhartz{-}Berger and
Miguel R. Luaces and
Christa Schwanninger and
Shaukat Ali and
Mahsa Varshosaz and
Angelo Gargantini and
Stefania Gnesi and
Malte Lochau and
Laura Semini and
Hironori Washizaki},
title = {Generating Pairwise Covering Arrays for Highly Configurable Software
Systems},
booktitle = {Proceedings of the 27th {ACM} International Systems and Software Product
Line Conference - Volume A, {SPLC} 2023, Tokyo, Japan, 28 August 2023-
1 September 2023},
pages = {261--267},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3579027.3608998},
doi = {10.1145/3579027.3608998},
timestamp = {Sun, 19 Jan 2025 13:30:53 +0100},
biburl = {https://dblp.org/rec/conf/splc/LuoSZL0H23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-06455,
author = {Pengfei Yang and
Zhiming Chi and
Zongxin Liu and
Mengyu Zhao and
Cheng{-}Chao Huang and
Shaowei Cai and
Lijun Zhang},
title = {Incremental Satisfiability Modulo Theory for Verification of Deep
Neural Networks},
journal = {CoRR},
volume = {abs/2302.06455},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.06455},
doi = {10.48550/ARXIV.2302.06455},
eprinttype = {arXiv},
eprint = {2302.06455},
timestamp = {Fri, 16 May 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-06455.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-06676,
author = {Bohan Li and
Shaowei Cai},
title = {Local Search For {SMT} On Linear and Multilinear Real Arithmetic},
journal = {CoRR},
volume = {abs/2303.06676},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.06676},
doi = {10.48550/ARXIV.2303.06676},
eprinttype = {arXiv},
eprint = {2303.06676},
timestamp = {Fri, 17 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-06676.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-00188,
author = {Peng Lin and
Shaowei Cai and
Mengchuan Zou and
Jinkun Lin},
title = {Local Search for Integer Linear Programming},
journal = {CoRR},
volume = {abs/2305.00188},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.00188},
doi = {10.48550/ARXIV.2305.00188},
eprinttype = {arXiv},
eprint = {2305.00188},
timestamp = {Fri, 05 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-00188.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-14249,
author = {Zhonghan Wang and
Bohua Zhan and
Bohan Li and
Shaowei Cai},
title = {Efficient Local Search for Nonlinear Real Arithmetic},
journal = {CoRR},
volume = {abs/2311.14249},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.14249},
doi = {10.48550/ARXIV.2311.14249},
eprinttype = {arXiv},
eprint = {2311.14249},
timestamp = {Fri, 08 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-14249.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/GaoLLCM22,
author = {Jian Gao and
Yiqi Lv and
Minghao Liu and
Shaowei Cai and
Feifei Ma},
title = {Improving Simulated Annealing for Clique Partitioning Problems},
journal = {J. Artif. Intell. Res.},
volume = {74},
pages = {1485--1513},
year = {2022},
url = {https://doi.org/10.1613/jair.1.13382},
doi = {10.1613/JAIR.1.13382},
timestamp = {Wed, 25 Feb 2026 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/GaoLLCM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/CaiZFB22,
author = {Shaowei Cai and
Xindi Zhang and
Mathias Fleury and
Armin Biere},
title = {Better Decision Heuristics in {CDCL} through Local Search and Target
Phases},
journal = {J. Artif. Intell. Res.},
volume = {74},
pages = {1515--1563},
year = {2022},
url = {https://doi.org/10.1613/jair.1.13666},
doi = {10.1613/JAIR.1.13666},
timestamp = {Wed, 27 May 2026 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/CaiZFB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ChenWCYZW22,
author = {Jiejiang Chen and
Yiyuan Wang and
Shaowei Cai and
Minghao Yin and
Yupeng Zhou and
Jieyu Wu},
title = {NukCP: An Improved Local Search Algorithm for Maximum k-Club Problem},
booktitle = {Thirty-Sixth {AAAI} Conference on Artificial Intelligence, {AAAI}
2022, Thirty-Fourth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2022, The Twelveth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2022 Virtual Event, February 22
- March 1, 2022},
pages = {10146--10155},
publisher = {{AAAI} Press},
year = {2022},
url = {https://doi.org/10.1609/aaai.v36i9.21254},
doi = {10.1609/AAAI.V36I9.21254},
timestamp = {Wed, 18 Mar 2026 17:07:12 +0100},
biburl = {https://dblp.org/rec/conf/aaai/ChenWCYZW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LuoYWCFZ22,
author = {Weilin Luo and
Rongzhen Ye and
Hai Wan and
Shaowei Cai and
Biqing Fang and
Delong Zhang},
title = {Improving Local Search Algorithms via Probabilistic Configuration
Checking},
booktitle = {Thirty-Sixth {AAAI} Conference on Artificial Intelligence, {AAAI}
2022, Thirty-Fourth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2022, The Twelveth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2022 Virtual Event, February 22
- March 1, 2022},
pages = {10283--10290},
publisher = {{AAAI} Press},
year = {2022},
url = {https://doi.org/10.1609/aaai.v36i9.21269},
doi = {10.1609/AAAI.V36I9.21269},
timestamp = {Sun, 01 Feb 2026 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aaai/LuoYWCFZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CaiLZ22,
author = {Shaowei Cai and
Bohan Li and
Xindi Zhang},
editor = {Sharon Shoham and
Yakir Vizel},
title = {Local Search for {SMT} on Linear Integer Arithmetic},
booktitle = {Computer Aided Verification - 34th International Conference, {CAV}
2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13372},
pages = {227--248},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-13188-2\_12},
doi = {10.1007/978-3-031-13188-2\_12},
timestamp = {Wed, 27 May 2026 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/CaiLZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CaiZ22,
author = {Shaowei Cai and
Xindi Zhang},
editor = {Luc De Raedt},
title = {Deep Cooperation of {CDCL} and Local Search for {SAT} (Extended Abstract)},
booktitle = {Proceedings of the Thirty-First International Joint Conference on
Artificial Intelligence, {IJCAI} 2022, Vienna, Austria, 23-29 July
2022},
pages = {5274--5278},
publisher = {ijcai.org},
year = {2022},
url = {https://doi.org/10.24963/ijcai.2022/734},
doi = {10.24963/IJCAI.2022/734},
timestamp = {Wed, 27 May 2026 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/CaiZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/LuoZC0H22,
author = {Chuan Luo and
Qiyuan Zhao and
Shaowei Cai and
Hongyu Zhang and
Chunming Hu},
editor = {Abhik Roychoudhury and
Cristian Cadar and
Miryung Kim},
title = {SamplingCA: effective and efficient sampling-based pairwise testing
for highly configurable software systems},
booktitle = {Proceedings of the 30th {ACM} Joint European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/FSE} 2022, Singapore, Singapore, November 14-18, 2022},
pages = {1185--1197},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3540250.3549155},
doi = {10.1145/3540250.3549155},
timestamp = {Tue, 07 Apr 2026 20:23:37 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/LuoZC0H22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-10219,
author = {Shaowei Cai and
Bohan Li and
Xindi Zhang},
title = {Local Search For Satisfiability Modulo Integer Arithmetic Theories},
journal = {CoRR},
volume = {abs/2211.10219},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.10219},
doi = {10.48550/ARXIV.2211.10219},
eprinttype = {arXiv},
eprint = {2211.10219},
timestamp = {Wed, 27 May 2026 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-10219.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/ZhangLCW21,
author = {Xindi Zhang and
Bohan Li and
Shaowei Cai and
Yiyuan Wang},
title = {Efficient Local Search based on Dynamic Connectivity Maintenance for
Minimum Connected Dominating Set},
journal = {J. Artif. Intell. Res.},
volume = {71},
pages = {89--119},
year = {2021},
url = {https://doi.org/10.1613/jair.1.12618},
doi = {10.1613/JAIR.1.12618},
timestamp = {Wed, 27 May 2026 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/ZhangLCW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/CaiLWS21,
author = {Shaowei Cai and
Jinkun Lin and
Yiyuan Wang and
Darren Strash},
title = {A Semi-exact Algorithm for Quickly Computing {A} Maximum Weight Clique
in Large Sparse Graphs},
journal = {J. Artif. Intell. Res.},
volume = {72},
pages = {39--67},
year = {2021},
url = {https://doi.org/10.1613/jair.1.12327},
doi = {10.1613/JAIR.1.12327},
timestamp = {Tue, 08 Jul 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/CaiLWS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LuoZCQDZWCHRL21,
author = {Chuan Luo and
Pu Zhao and
Chen Chen and
Bo Qiao and
Chao Du and
Hongyu Zhang and
Wei Wu and
Shaowei Cai and
Bing He and
Saravanakumar Rajmohan and
Qingwei Lin},
title = {{PULNS:} Positive-Unlabeled Learning with Effective Negative Sample
Selector},
booktitle = {Thirty-Fifth {AAAI} Conference on Artificial Intelligence, {AAAI}
2021, Thirty-Third Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2021, The Eleventh Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2021, Virtual Event, February 2-9,
2021},
pages = {8784--8792},
publisher = {{AAAI} Press},
year = {2021},
url = {https://doi.org/10.1609/aaai.v35i10.17064},
doi = {10.1609/AAAI.V35I10.17064},
timestamp = {Wed, 18 Mar 2026 17:07:12 +0100},
biburl = {https://dblp.org/rec/conf/aaai/LuoZCQDZWCHRL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ChenCPWLZY21,
author = {Jiejiang Chen and
Shaowei Cai and
Shiwei Pan and
Yiyuan Wang and
Qingwei Lin and
Mengyu Zhao and
Minghao Yin},
title = {NuQClq: An Effective Local Search Algorithm for Maximum Quasi-Clique
Problem},
booktitle = {Thirty-Fifth {AAAI} Conference on Artificial Intelligence, {AAAI}
2021, Thirty-Third Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2021, The Eleventh Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2021, Virtual Event, February 2-9,
2021},
pages = {12258--12266},
publisher = {{AAAI} Press},
year = {2021},
url = {https://doi.org/10.1609/aaai.v35i14.17455},
doi = {10.1609/AAAI.V35I14.17455},
timestamp = {Tue, 08 Jul 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/ChenCPWLZY21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LuoQXCZDYZWCHRL21,
author = {Chuan Luo and
Bo Qiao and
Wenqian Xing and
Xin Chen and
Pu Zhao and
Chao Du and
Randolph Yao and
Hongyu Zhang and
Wei Wu and
Shaowei Cai and
Bing He and
Saravanakumar Rajmohan and
Qingwei Lin},
title = {Correlation-Aware Heuristic Search for Intelligent Virtual Machine
Provisioning in Cloud Systems},
booktitle = {Thirty-Fifth {AAAI} Conference on Artificial Intelligence, {AAAI}
2021, Thirty-Third Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2021, The Eleventh Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2021, Virtual Event, February 2-9,
2021},
pages = {12363--12372},
publisher = {{AAAI} Press},
year = {2021},
url = {https://doi.org/10.1609/aaai.v35i14.17467},
doi = {10.1609/AAAI.V35I14.17467},
timestamp = {Mon, 19 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/LuoQXCZDYZWCHRL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/CaiLZZ21,
author = {Shaowei Cai and
Chuan Luo and
Xindi Zhang and
Jian Zhang},
editor = {Laurent D. Michel},
title = {Improving Local Search for Structured {SAT} Formulas via Unit Propagation
Based Construct and Cut Initialization (Short Paper)},
booktitle = {27th International Conference on Principles and Practice of Constraint
Programming, {CP} 2021, Montpellier, France (Virtual Conference),
October 25-29, 2021},
series = {LIPIcs},
volume = {210},
pages = {5:1--5:10},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.CP.2021.5},
doi = {10.4230/LIPICS.CP.2021.5},
timestamp = {Wed, 27 May 2026 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/CaiLZZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/LiWWC21,
author = {Bohan Li and
Kai Wang and
Yiyuan Wang and
Shaowei Cai},
editor = {Laurent D. Michel},
title = {Improving Local Search for Minimum Weighted Connected Dominating Set
Problem by Inner-Layer Local Search},
booktitle = {27th International Conference on Principles and Practice of Constraint
Programming, {CP} 2021, Montpellier, France (Virtual Conference),
October 25-29, 2021},
series = {LIPIcs},
volume = {210},
pages = {39:1--39:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.CP.2021.39},
doi = {10.4230/LIPICS.CP.2021.39},
timestamp = {Tue, 08 Jul 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/LiWWC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/LinCHFLL21,
author = {Jinkun Lin and
Shaowei Cai and
Bing He and
Yingjie Fu and
Chuan Luo and
Qingwei Lin},
title = {FastCA: An Effective and Efficient Tool for Combinatorial Covering
Array Generation},
booktitle = {43rd {IEEE/ACM} International Conference on Software Engineering:
Companion Proceedings, {ICSE} Companion 2021, Madrid, Spain, May 25-28,
2021},
pages = {77--80},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICSE-Companion52605.2021.00040},
doi = {10.1109/ICSE-COMPANION52605.2021.00040},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/LinCHFLL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/LuoLCCHQZLZWRZ21,
author = {Chuan Luo and
Jinkun Lin and
Shaowei Cai and
Xin Chen and
Bing He and
Bo Qiao and
Pu Zhao and
Qingwei Lin and
Hongyu Zhang and
Wei Wu and
Saravanakumar Rajmohan and
Dongmei Zhang},
title = {AutoCCAG: An Automated Approach to Constrained Covering Array Generation},
booktitle = {43rd {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2021, Madrid, Spain, 22-30 May 2021},
pages = {201--212},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICSE43902.2021.00030},
doi = {10.1109/ICSE43902.2021.00030},
timestamp = {Sun, 01 Feb 2026 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/LuoLCCHQZLZWRZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/CaiZ21,
author = {Shaowei Cai and
Xindi Zhang},
editor = {Chu{-}Min Li and
Felip Many{\`{a}}},
title = {Deep Cooperation of {CDCL} and Local Search for {SAT}},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2021 - 24th
International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12831},
pages = {64--81},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-80223-3\_6},
doi = {10.1007/978-3-030-80223-3\_6},
timestamp = {Wed, 27 May 2026 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/CaiZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/LeiCLH21,
author = {Zhendong Lei and
Shaowei Cai and
Chuan Luo and
Holger H. Hoos},
editor = {Chu{-}Min Li and
Felip Many{\`{a}}},
title = {Efficient Local Search for Pseudo Boolean Optimization},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2021 - 24th
International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12831},
pages = {332--348},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-80223-3\_23},
doi = {10.1007/978-3-030-80223-3\_23},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sat/LeiCLH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-07568,
author = {Minghao Liu and
Fuqi Jia and
Pei Huang and
Fan Zhang and
Yuchen Sun and
Shaowei Cai and
Feifei Ma and
Jian Zhang},
title = {Can Graph Neural Networks Learn to Solve MaxSAT Problem?},
journal = {CoRR},
volume = {abs/2111.07568},
year = {2021},
url = {https://arxiv.org/abs/2111.07568},
eprinttype = {arXiv},
eprint = {2111.07568},
timestamp = {Fri, 17 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-07568.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/WangCCY20,
author = {Yiyuan Wang and
Shaowei Cai and
Jiejiang Chen and
Minghao Yin},
title = {SCCWalk: An efficient local search algorithm and its improvements
for maximum weight clique problem},
journal = {Artif. Intell.},
volume = {280},
pages = {103230},
year = {2020},
url = {https://doi.org/10.1016/j.artint.2019.103230},
doi = {10.1016/J.ARTINT.2019.103230},
timestamp = {Tue, 08 Jul 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/WangCCY20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/CaiL20,
author = {Shaowei Cai and
Zhendong Lei},
title = {Old techniques in new ways: Clause weighting, unit propagation and
hybridization for maximum satisfiability},
journal = {Artif. Intell.},
volume = {287},
pages = {103354},
year = {2020},
url = {https://doi.org/10.1016/j.artint.2020.103354},
doi = {10.1016/J.ARTINT.2020.103354},
timestamp = {Fri, 17 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/CaiL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/LeiC20,
author = {Zhendong Lei and
Shaowei Cai},
title = {NuDist: An Efficient Local Search Algorithm for (Weighted) Partial
MaxSAT},
journal = {Comput. J.},
volume = {63},
number = {9},
pages = {1321--1337},
year = {2020},
url = {https://doi.org/10.1093/comjnl/bxz063},
doi = {10.1093/COMJNL/BXZ063},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cj/LeiC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/FuLCLW20,
author = {Yingjie Fu and
Zhendong Lei and
Shaowei Cai and
Jinkun Lin and
Haoran Wang},
title = {{WCA:} {A} weighting local search for constrained combinatorial test
optimization},
journal = {Inf. Softw. Technol.},
volume = {122},
pages = {106288},
year = {2020},
url = {https://doi.org/10.1016/j.infsof.2020.106288},
doi = {10.1016/J.INFSOF.2020.106288},
timestamp = {Sat, 15 Nov 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/FuLCLW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jco/ChuLCLY20,
author = {Yi Chu and
Boxiao Liu and
Shaowei Cai and
Chuan Luo and
Haihang You},
title = {An efficient local search algorithm for solving maximum edge weight
clique problem in large graphs},
journal = {J. Comb. Optim.},
volume = {39},
number = {4},
pages = {933--954},
year = {2020},
url = {https://doi.org/10.1007/s10878-020-00529-9},
doi = {10.1007/S10878-020-00529-9},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jco/ChuLCLY20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jors/LiHCGWY20,
author = {Ruizhi Li and
Shuli Hu and
Shaowei Cai and
Jian Gao and
Yiyuan Wang and
Minghao Yin},
title = {NuMWVC: {A} novel local search for minimum weighted vertex cover problem},
journal = {J. Oper. Res. Soc.},
volume = {71},
number = {9},
pages = {1498--1509},
year = {2020},
url = {https://doi.org/10.1080/01605682.2019.1621218},
doi = {10.1080/01605682.2019.1621218},
timestamp = {Tue, 08 Jul 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jors/LiHCGWY20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LeiC20,
author = {Zhendong Lei and
Shaowei Cai},
title = {Solving Set Cover and Dominating Set via Maximum Satisfiability},
booktitle = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI}
2020, The Thirty-Second Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA,
February 7-12, 2020},
pages = {1569--1576},
publisher = {{AAAI} Press},
year = {2020},
url = {https://doi.org/10.1609/aaai.v34i02.5517},
doi = {10.1609/AAAI.V34I02.5517},
timestamp = {Wed, 18 Mar 2026 17:07:12 +0100},
biburl = {https://dblp.org/rec/conf/aaai/LeiC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ChenWCLC20,
author = {Peilin Chen and
Hai Wan and
Shaowei Cai and
Jia Li and
Haicheng Chen},
title = {Local Search with Dynamic-Threshold Configuration Checking and Incremental
Neighborhood Updating for Maximum k-plex Problem},
booktitle = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI}
2020, The Thirty-Second Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA,
February 7-12, 2020},
pages = {2343--2350},
publisher = {{AAAI} Press},
year = {2020},
url = {https://doi.org/10.1609/aaai.v34i03.5613},
doi = {10.1609/AAAI.V34I03.5613},
timestamp = {Tue, 14 Oct 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/ChenWCLC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/WangCPLY20,
author = {Yiyuan Wang and
Shaowei Cai and
Shiwei Pan and
Ximing Li and
Minghao Yin},
title = {Reduction and Local Search for Weighted Graph Coloring Problem},
booktitle = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI}
2020, The Thirty-Second Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA,
February 7-12, 2020},
pages = {2433--2441},
publisher = {{AAAI} Press},
year = {2020},
url = {https://doi.org/10.1609/aaai.v34i03.5624},
doi = {10.1609/AAAI.V34I03.5624},
timestamp = {Tue, 08 Jul 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/WangCPLY20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/CaiZ20,
author = {Shaowei Cai and
Xindi Zhang},
editor = {Helmut Simonis},
title = {Pure MaxSAT and Its Applications to Combinatorial Optimization via
Linear Local Search},
booktitle = {Principles and Practice of Constraint Programming - 26th International
Conference, {CP} 2020, Louvain-la-Neuve, Belgium, September 7-11,
2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12333},
pages = {90--106},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-58475-7\_6},
doi = {10.1007/978-3-030-58475-7\_6},
timestamp = {Wed, 27 May 2026 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/CaiZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LeiCL20,
author = {Zhendong Lei and
Shaowei Cai and
Chuan Luo},
editor = {Christian Bessiere},
title = {Extended Conjunctive Normal Form and An Efficient Algorithm for Cardinality
Constraints},
booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on
Artificial Intelligence, {IJCAI} 2020},
pages = {1141--1147},
publisher = {ijcai.org},
year = {2020},
url = {https://doi.org/10.24963/ijcai.2020/159},
doi = {10.24963/IJCAI.2020/159},
timestamp = {Tue, 15 Oct 2024 16:43:28 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/LeiCL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ZhangSZLCXZ20,
author = {Wenjie Zhang and
Zeyu Sun and
Qihao Zhu and
Ge Li and
Shaowei Cai and
Yingfei Xiong and
Lu Zhang},
editor = {Christian Bessiere},
title = {NLocalSAT: Boosting Local Search with Solution Prediction},
booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on
Artificial Intelligence, {IJCAI} 2020},
pages = {1177--1183},
publisher = {ijcai.org},
year = {2020},
url = {https://doi.org/10.24963/ijcai.2020/164},
doi = {10.24963/IJCAI.2020/164},
timestamp = {Sat, 26 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ZhangSZLCXZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CaiHWLL20,
author = {Shaowei Cai and
Wenying Hou and
Yiyuan Wang and
Chuan Luo and
Qingwei Lin},
editor = {Christian Bessiere},
title = {Two-goal Local Search and Inference Rules for Minimum Dominating Set},
booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on
Artificial Intelligence, {IJCAI} 2020},
pages = {1467--1473},
publisher = {ijcai.org},
year = {2020},
url = {https://doi.org/10.24963/ijcai.2020/204},
doi = {10.24963/IJCAI.2020/204},
timestamp = {Tue, 08 Jul 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/CaiHWLL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LiZCLWB20,
author = {Bohan Li and
Xindi Zhang and
Shaowei Cai and
Jinkun Lin and
Yiyuan Wang and
Christian Blum},
editor = {Christian Bessiere},
title = {NuCDS: An Efficient Local Search Algorithm for Minimum Connected Dominating
Set},
booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on
Artificial Intelligence, {IJCAI} 2020},
pages = {1503--1510},
publisher = {ijcai.org},
year = {2020},
url = {https://doi.org/10.24963/ijcai.2020/209},
doi = {10.24963/IJCAI.2020/209},
timestamp = {Wed, 27 May 2026 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/LiZCLWB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppsn/LuoHC20,
author = {Chuan Luo and
Holger H. Hoos and
Shaowei Cai},
editor = {Thomas B{\"{a}}ck and
Mike Preuss and
Andr{\'{e}} H. Deutz and
Hao Wang and
Carola Doerr and
Michael T. M. Emmerich and
Heike Trautmann},
title = {PbO-CCSAT: Boosting Local Search for Satisfiability Using Programming
by Optimisation},
booktitle = {Parallel Problem Solving from Nature - {PPSN} {XVI} - 16th International
Conference, {PPSN} 2020, Leiden, The Netherlands, September 5-9, 2020,
Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12269},
pages = {373--389},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-58112-1\_26},
doi = {10.1007/978-3-030-58112-1\_26},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppsn/LuoHC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/GuLQQL0LDCWZCZ20,
author = {Jiazhen Gu and
Chuan Luo and
Si Qin and
Bo Qiao and
Qingwei Lin and
Hongyu Zhang and
Ze Li and
Yingnong Dang and
Shaowei Cai and
Wei Wu and
Yangfan Zhou and
Murali Chintalapati and
Dongmei Zhang},
editor = {Prem Devanbu and
Myra B. Cohen and
Thomas Zimmermann},
title = {Efficient incident identification from multi-dimensional issue reports
via meta-heuristic search},
booktitle = {{ESEC/FSE} '20: 28th {ACM} Joint European Software Engineering Conference
and Symposium on the Foundations of Software Engineering, Virtual
Event, USA, November 8-13, 2020},
pages = {292--303},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3368089.3409741},
doi = {10.1145/3368089.3409741},
timestamp = {Sun, 01 Feb 2026 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/GuLQQL0LDCWZCZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2001-09398,
author = {Wenjie Zhang and
Zeyu Sun and
Qihao Zhu and
Ge Li and
Shaowei Cai and
Yingfei Xiong and
Lu Zhang},
title = {NLocalSAT: Boosting Local Search with Solution Prediction},
journal = {CoRR},
volume = {abs/2001.09398},
year = {2020},
url = {https://arxiv.org/abs/2001.09398},
eprinttype = {arXiv},
eprint = {2001.09398},
timestamp = {Sat, 26 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-09398.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/ZhouHXC19,
author = {Yuren Zhou and
Xiaoyu He and
Yi Xiang and
Shaowei Cai},
title = {A set of new multi- and many-objective test problems for continuous
optimization and a comprehensive experimental evaluation},
journal = {Artif. Intell.},
volume = {276},
pages = {105--129},
year = {2019},
url = {https://doi.org/10.1016/j.artint.2019.08.003},
doi = {10.1016/J.ARTINT.2019.08.003},
timestamp = {Thu, 20 Nov 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/ZhouHXC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/chinaf/WangWYBC19,
author = {Shaojiang Wang and
Tianyong Wu and
Yuan Yao and
Dongbo Bu and
Shaowei Cai},
title = {Constrained maximum weighted bipartite matching: a novel approach
to radio broadcast scheduling},
journal = {Sci. China Inf. Sci.},
volume = {62},
number = {7},
pages = {72102:1--72102:14},
year = {2019},
url = {https://doi.org/10.1007/s11432-017-9324-0},
doi = {10.1007/S11432-017-9324-0},
timestamp = {Tue, 24 Mar 2026 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/chinaf/WangWYBC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fcsc/ChuLCY19,
author = {Yi Chu and
Chuan Luo and
Shaowei Cai and
Haihang You},
title = {Empirical investigation of stochastic local search for maximum satisfiability},
journal = {Frontiers Comput. Sci.},
volume = {13},
number = {1},
pages = {86--98},
year = {2019},
url = {https://doi.org/10.1007/s11704-018-7107-z},
doi = {10.1007/S11704-018-7107-Z},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fcsc/ChuLCY19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/CaiLHW19,
author = {Shaowei Cai and
Yuanjie Li and
Wenying Hou and
Haoran Wang},
title = {Towards faster local search for minimum weight vertex cover on massive
graphs},
journal = {Inf. Sci.},
volume = {471},
pages = {64--79},
year = {2019},
url = {https://doi.org/10.1016/j.ins.2018.08.052},
doi = {10.1016/J.INS.2018.08.052},
timestamp = {Fri, 17 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isci/CaiLHW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LuoHCLZZ19,
author = {Chuan Luo and
Holger H. Hoos and
Shaowei Cai and
Qingwei Lin and
Hongyu Zhang and
Dongmei Zhang},
editor = {Sarit Kraus},
title = {Local Search with Efficient Automatic Configuration for Minimum Vertex
Cover},
booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on
Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16,
2019},
pages = {1297--1304},
publisher = {ijcai.org},
year = {2019},
url = {https://doi.org/10.24963/ijcai.2019/180},
doi = {10.24963/IJCAI.2019/180},
timestamp = {Sun, 01 Feb 2026 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/LuoHCLZZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/LinCLLZ19,
author = {Jinkun Lin and
Shaowei Cai and
Chuan Luo and
Qingwei Lin and
Hongyu Zhang},
editor = {Marlon Dumas and
Dietmar Pfahl and
Sven Apel and
Alessandra Russo},
title = {Towards more efficient meta-heuristic algorithms for combinatorial
test generation},
booktitle = {Proceedings of the {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2019, Tallinn, Estonia, August 26-30, 2019},
pages = {212--222},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3338906.3338914},
doi = {10.1145/3338906.3338914},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/LinCLLZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-02578,
author = {Peilin Chen and
Hai Wan and
Shaowei Cai and
Weilin Luo and
Jia Li},
title = {Combining Reinforcement Learning and Configuration Checking for Maximum
k-plex Problem},
journal = {CoRR},
volume = {abs/1906.02578},
year = {2019},
url = {http://arxiv.org/abs/1906.02578},
eprinttype = {arXiv},
eprint = {1906.02578},
timestamp = {Fri, 17 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-02578.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/chinaf/LiuOC018,
author = {Meng Liu and
Dantong Ouyang and
Shaowei Cai and
Liming Zhang},
title = {Efficient zonal diagnosis with maximum satisfiability},
journal = {Sci. China Inf. Sci.},
volume = {61},
number = {11},
pages = {112101:1--112101:14},
year = {2018},
url = {https://doi.org/10.1007/s11432-017-9273-5},
doi = {10.1007/S11432-017-9273-5},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/chinaf/LiuOC018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/WangCY18,
author = {Yiyuan Wang and
Shaowei Cai and
Minghao Yin},
title = {New heuristic approaches for maximum balanced biclique problem},
journal = {Inf. Sci.},
volume = {432},
pages = {362--375},
year = {2018},
url = {https://doi.org/10.1016/j.ins.2017.12.012},
doi = {10.1016/J.INS.2017.12.012},
timestamp = {Tue, 08 Jul 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isci/WangCY18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/LiDJPZLC18,
author = {Yongjian Li and
Kaiqiang Duan and
David N. Jansen and
Jun Pang and
Lijun Zhang and
Yi Lv and
Shaowei Cai},
title = {An Automatic Proving Approach to Parameterized Verification},
journal = {{ACM} Trans. Comput. Log.},
volume = {19},
number = {4},
pages = {27:1--27:25},
year = {2018},
url = {https://doi.org/10.1145/3232164},
doi = {10.1145/3232164},
timestamp = {Fri, 17 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/LiDJPZLC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LiCHYG18,
author = {Ruizhi Li and
Shaowei Cai and
Shuli Hu and
Minghao Yin and
Jian Gao},
editor = {Sheila A. McIlraith and
Kilian Q. Weinberger},
title = {NuMWVC: {A} Novel Local Search for Minimum Weighted Vertex Cover Problem},
booktitle = {Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence,
(AAAI-18), the 30th innovative Applications of Artificial Intelligence
(IAAI-18), and the 8th {AAAI} Symposium on Educational Advances in
Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February
2-7, 2018},
pages = {8107--8108},
publisher = {{AAAI} Press},
year = {2018},
url = {https://doi.org/10.1609/aaai.v32i1.12137},
doi = {10.1609/AAAI.V32I1.12137},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/LiCHYG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LeiC18,
author = {Zhendong Lei and
Shaowei Cai},
editor = {J{\'{e}}r{\^{o}}me Lang},
title = {Solving (Weighted) Partial MaxSAT by Dynamic Local Search for {SAT}},
booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on
Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
Sweden},
pages = {1346--1352},
publisher = {ijcai.org},
year = {2018},
url = {https://doi.org/10.24963/ijcai.2018/187},
doi = {10.24963/IJCAI.2018/187},
timestamp = {Fri, 17 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/LeiC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CaiHLL18,
author = {Shaowei Cai and
Wenying Hou and
Jinkun Lin and
Yuanjie Li},
editor = {J{\'{e}}r{\^{o}}me Lang},
title = {Improving Local Search for Minimum Weight Vertex Cover by Dynamic
Strategies},
booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on
Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
Sweden},
pages = {1412--1418},
publisher = {ijcai.org},
year = {2018},
url = {https://doi.org/10.24963/ijcai.2018/196},
doi = {10.24963/IJCAI.2018/196},
timestamp = {Fri, 17 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/CaiHLL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/WangCCY18,
author = {Yiyuan Wang and
Shaowei Cai and
Jiejiang Chen and
Minghao Yin},
editor = {J{\'{e}}r{\^{o}}me Lang},
title = {A Fast Local Search Algorithm for Minimum Weight Dominating Set Problem
on Massive Graphs},
booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on
Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
Sweden},
pages = {1514--1522},
publisher = {ijcai.org},
year = {2018},
url = {https://doi.org/10.24963/ijcai.2018/210},
doi = {10.24963/IJCAI.2018/210},
timestamp = {Tue, 08 Jul 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/WangCCY18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mcsoc/KanazawaC18,
author = {Kenji Kanazawa and
Shaowei Cai},
title = {{FPGA} Acceleration to Solve Maximum Clique Problems Encoded into
Partial MaxSAT},
booktitle = {12th {IEEE} International Symposium on Embedded Multicore/Many-core
Systems-on-Chip, MCSoC 2018, Hanoi, Vietnam, September 12-14, 2018},
pages = {217--224},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/MCSoC2018.2018.00043},
doi = {10.1109/MCSOC2018.2018.00043},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mcsoc/KanazawaC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/LuoCSH17,
author = {Chuan Luo and
Shaowei Cai and
Kaile Su and
Wenxuan Huang},
title = {{CCEHC:} An efficient local search algorithm for weighted partial
maximum satisfiability},
journal = {Artif. Intell.},
volume = {243},
pages = {26--44},
year = {2017},
url = {https://doi.org/10.1016/j.artint.2016.11.001},
doi = {10.1016/J.ARTINT.2016.11.001},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/LuoCSH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/heuristics/ZhangCLY17,
author = {Haochen Zhang and
Shaowei Cai and
Chuan Luo and
Minghao Yin},
title = {An efficient local search algorithm for the winner determination problem},
journal = {J. Heuristics},
volume = {23},
number = {5},
pages = {367--396},
year = {2017},
url = {https://doi.org/10.1007/s10732-017-9344-y},
doi = {10.1007/S10732-017-9344-Y},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/heuristics/ZhangCLY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/WangCY17,
author = {Yiyuan Wang and
Shaowei Cai and
Minghao Yin},
title = {Local Search for Minimum Weight Dominating Set with Two-Level Configuration
Checking and Frequency Based Scoring Function},
journal = {J. Artif. Intell. Res.},
volume = {58},
pages = {267--295},
year = {2017},
url = {https://doi.org/10.1613/jair.5205},
doi = {10.1613/JAIR.5205},
timestamp = {Tue, 08 Jul 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/WangCY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/CaiLL17,
author = {Shaowei Cai and
Jinkun Lin and
Chuan Luo},
title = {Finding {A} Small Vertex Cover in Massive Sparse Graphs: Construct,
Local Search, and Preprocess},
journal = {J. Artif. Intell. Res.},
volume = {59},
pages = {463--494},
year = {2017},
url = {https://doi.org/10.1613/jair.5443},
doi = {10.1613/JAIR.5443},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/CaiLL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LinCLS17,
author = {Jinkun Lin and
Shaowei Cai and
Chuan Luo and
Kaile Su},
editor = {Carles Sierra},
title = {A Reduction based Method for Coloring Very Large Graphs},
booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
19-25, 2017},
pages = {517--523},
publisher = {ijcai.org},
year = {2017},
url = {https://doi.org/10.24963/ijcai.2017/73},
doi = {10.24963/IJCAI.2017/73},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/LinCLS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CaiLZ17,
author = {Shaowei Cai and
Chuan Luo and
Haochen Zhang},
editor = {Carles Sierra},
title = {From Decimation to Local Search and Back: {A} New Approach to MaxSAT},
booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
19-25, 2017},
pages = {571--577},
publisher = {ijcai.org},
year = {2017},
url = {https://doi.org/10.24963/ijcai.2017/80},
doi = {10.24963/IJCAI.2017/80},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/CaiLZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LuoCSH17,
author = {Chuan Luo and
Shaowei Cai and
Kaile Su and
Wenxuan Huang},
editor = {Carles Sierra},
title = {{CCEHC:} An Efficient Local Search Algorithm for Weighted Partial
Maximum Satisfiability (Extended Abstract)},
booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
19-25, 2017},
pages = {5030--5034},
publisher = {ijcai.org},
year = {2017},
url = {https://doi.org/10.24963/ijcai.2017/716},
doi = {10.24963/IJCAI.2017/716},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/LuoCSH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/WangCY17,
author = {Yiyuan Wang and
Shaowei Cai and
Minghao Yin},
editor = {Carles Sierra},
title = {Local Search for Minimum Weight Dominating Set with Two-Level Configuration
Checking and Frequency Based Scoring Function (Extended Abstract)},
booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
19-25, 2017},
pages = {5090--5094},
publisher = {ijcai.org},
year = {2017},
url = {https://doi.org/10.24963/ijcai.2017/728},
doi = {10.24963/IJCAI.2017/728},
timestamp = {Tue, 08 Jul 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/WangCY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seal/LiCH17,
author = {Yuanjie Li and
Shaowei Cai and
Wenying Hou},
editor = {Yuhui Shi and
Kay Chen Tan and
Mengjie Zhang and
Ke Tang and
Xiaodong Li and
Qingfu Zhang and
Ying Tan and
Martin Middendorf and
Yaochu Jin},
title = {An Efficient Local Search Algorithm for Minimum Weighted Vertex Cover
on Massive Graphs},
booktitle = {Simulated Evolution and Learning - 11th International Conference,
{SEAL} 2017, Shenzhen, China, November 10-13, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10593},
pages = {145--157},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68759-9\_13},
doi = {10.1007/978-3-319-68759-9\_13},
timestamp = {Mon, 07 Apr 2025 08:23:04 +0200},
biburl = {https://dblp.org/rec/conf/seal/LiCH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/Abu-KhzamCESW17,
author = {Faisal N. Abu{-}Khzam and
Shaowei Cai and
Judith Egan and
Peter Shaw and
Kai Wang},
editor = {T. V. Gopal and
Gerhard J{\"{a}}ger and
Silvia Steila},
title = {Turbo-Charging Dominating Set with an {FPT} Subroutine: Further Improvements
and Experimental Analysis},
booktitle = {Theory and Applications of Models of Computation - 14th Annual Conference,
{TAMC} 2017, Bern, Switzerland, April 20-22, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10185},
pages = {59--70},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-55911-7\_5},
doi = {10.1007/978-3-319-55911-7\_5},
timestamp = {Fri, 17 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tamc/Abu-KhzamCESW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/WangCY17,
author = {Yiyuan Wang and
Shaowei Cai and
Minghao Yin},
title = {Local Search for Minimum Weight Dominating Set with Two-Level Configuration
Checking and Frequency Based Scoring Function},
journal = {CoRR},
volume = {abs/1702.04594},
year = {2017},
url = {http://arxiv.org/abs/1702.04594},
eprinttype = {arXiv},
eprint = {1702.04594},
timestamp = {Tue, 08 Jul 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/WangCY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/CaiLLS16,
author = {Shaowei Cai and
Chuan Luo and
Jinkun Lin and
Kaile Su},
title = {New local search methods for partial MaxSAT},
journal = {Artif. Intell.},
volume = {240},
pages = {1--18},
year = {2016},
url = {https://doi.org/10.1016/j.artint.2016.07.006},
doi = {10.1016/J.ARTINT.2016.07.006},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/CaiLLS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigarch/SassaKCY16,
author = {Shohei Sassa and
Kenji Kanazawa and
Shaowei Cai and
Moritoshi Yasunaga},
title = {An {FPGA} Solver for Partial MaxSAT Problems Based on Stochastic Local
Search},
journal = {{SIGARCH} Comput. Archit. News},
volume = {44},
number = {4},
pages = {32--37},
year = {2016},
url = {https://doi.org/10.1145/3039902.3039909},
doi = {10.1145/3039902.3039909},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigarch/SassaKCY16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/WangCY16,
author = {Yiyuan Wang and
Shaowei Cai and
Minghao Yin},
editor = {Dale Schuurmans and
Michael P. Wellman},
title = {Two Efficient Local Search Algorithms for Maximum Weight Clique Problem},
booktitle = {Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence,
February 12-17, 2016, Phoenix, Arizona, {USA}},
pages = {805--811},
publisher = {{AAAI} Press},
year = {2016},
url = {https://doi.org/10.1609/aaai.v30i1.10067},
doi = {10.1609/AAAI.V30I1.10067},
timestamp = {Tue, 08 Jul 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/WangCY16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/LiDLPC16,
author = {Yongjian Li and
Kaiqiang Duan and
Yi Lv and
Jun Pang and
Shaowei Cai},
title = {A novel approach to parameterized verification of cache coherence
protocols},
booktitle = {34th {IEEE} International Conference on Computer Design, {ICCD} 2016,
Scottsdale, AZ, USA, October 2-5, 2016},
pages = {560--567},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/ICCD.2016.7753341},
doi = {10.1109/ICCD.2016.7753341},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/LiDLPC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CaiL16,
author = {Shaowei Cai and
Jinkun Lin},
editor = {Subbarao Kambhampati},
title = {Fast Solving Maximum Weight Clique Problem in Massive Graphs},
booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
2016},
pages = {568--574},
publisher = {{IJCAI/AAAI} Press},
year = {2016},
url = {http://www.ijcai.org/Abstract/16/087},
timestamp = {Fri, 17 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/CaiL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/CaiLS15,
author = {Shaowei Cai and
Chuan Luo and
Kaile Su},
title = {Improving WalkSAT By Effective Tie-Breaking and Efficient Implementation},
journal = {Comput. J.},
volume = {58},
number = {11},
pages = {2864--2875},
year = {2015},
url = {https://doi.org/10.1093/comjnl/bxu135},
doi = {10.1093/COMJNL/BXU135},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cj/CaiLS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/heuristics/CaiJS15,
author = {Shaowei Cai and
Zhong Jie and
Kaile Su},
title = {An effective variable selection heuristic in {SLS} for weighted Max-2-SAT},
journal = {J. Heuristics},
volume = {21},
number = {3},
pages = {433--456},
year = {2015},
url = {https://doi.org/10.1007/s10732-015-9284-3},
doi = {10.1007/S10732-015-9284-3},
timestamp = {Fri, 17 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/heuristics/CaiJS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/LuoCWJS15,
author = {Chuan Luo and
Shaowei Cai and
Wei Wu and
Zhong Jie and
Kaile Su},
title = {{CCLS:} An Efficient Local Search Algorithm for Weighted Maximum Satisfiability},
journal = {{IEEE} Trans. Computers},
volume = {64},
number = {7},
pages = {1830--1843},
year = {2015},
url = {https://doi.org/10.1109/TC.2014.2346196},
doi = {10.1109/TC.2014.2346196},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tc/LuoCWJS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcyb/LuoCSW15,
author = {Chuan Luo and
Shaowei Cai and
Kaile Su and
Wei Wu},
title = {Clause States Based Configuration Checking in Local Search for Satisfiability},
journal = {{IEEE} Trans. Cybern.},
volume = {45},
number = {5},
pages = {1014--1027},
year = {2015},
url = {https://doi.org/10.1109/TCYB.2014.2343242},
doi = {10.1109/TCYB.2014.2343242},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcyb/LuoCSW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/WuSCZZW15,
author = {Lijun Wu and
Kaile Su and
Shaowei Cai and
Xiaosong Zhang and
Chenyi Zhang and
Shupeng Wang},
title = {An {I/O} Efficient Approach for Detecting All Accepting Cycles},
journal = {{IEEE} Trans. Software Eng.},
volume = {41},
number = {8},
pages = {730--744},
year = {2015},
url = {https://doi.org/10.1109/TSE.2015.2411284},
doi = {10.1109/TSE.2015.2411284},
timestamp = {Mon, 07 Jul 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/WuSCZZW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tvlsi/WuHSCZ15,
author = {Lijun Wu and
Huijia Huang and
Kaile Su and
Shaowei Cai and
Xiaosong Zhang},
title = {An {I/O} Efficient Model Checking Algorithm for Large-Scale Systems},
journal = {{IEEE} Trans. Very Large Scale Integr. Syst.},
volume = {23},
number = {5},
pages = {905--915},
year = {2015},
url = {https://doi.org/10.1109/TVLSI.2014.2330061},
doi = {10.1109/TVLSI.2014.2330061},
timestamp = {Mon, 10 Feb 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tvlsi/WuHSCZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/CaiLS15,
author = {Shaowei Cai and
Jinkun Lin and
Kaile Su},
editor = {Blai Bonet and
Sven Koenig},
title = {Two Weighting Local Search for Minimum Vertex Cover},
booktitle = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence,
January 25-30, 2015, Austin, Texas, {USA}},
pages = {1107--1113},
publisher = {{AAAI} Press},
year = {2015},
url = {https://doi.org/10.1609/aaai.v29i1.9357},
doi = {10.1609/AAAI.V29I1.9357},
timestamp = {Mon, 18 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/CaiLS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Cai15,
author = {Shaowei Cai},
editor = {Qiang Yang and
Michael J. Wooldridge},
title = {Balance between Complexity and Quality: Local Search for Minimum Vertex
Cover in Massive Graphs},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
25-31, 2015},
pages = {747--753},
publisher = {{AAAI} Press},
year = {2015},
url = {http://ijcai.org/Abstract/15/111},
timestamp = {Fri, 17 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/Cai15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LinLCSH015,
author = {Jinkun Lin and
Chuan Luo and
Shaowei Cai and
Kaile Su and
Dan Hao and
Lu Zhang},
editor = {Myra B. Cohen and
Lars Grunske and
Michael Whalen},
title = {{TCA:} An Efficient Two-Mode Meta-Heuristic Algorithm for Combinatorial
Test Generation {(T)}},
booktitle = {30th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2015, Lincoln, NE, USA, November 9-13, 2015},
pages = {494--505},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ASE.2015.61},
doi = {10.1109/ASE.2015.61},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/LinLCSH015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/CaiLS15,
author = {Shaowei Cai and
Chuan Luo and
Kaile Su},
editor = {Marijn Heule and
Sean A. Weaver},
title = {CCAnr: {A} Configuration Checking Based Local Search Solver for Non-random
Satisfiability},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2015 - 18th
International Conference, Austin, TX, USA, September 24-27, 2015,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9340},
pages = {1--8},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24318-4\_1},
doi = {10.1007/978-3-319-24318-4\_1},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sat/CaiLS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apin/LuoSC14,
author = {Chuan Luo and
Kaile Su and
Shaowei Cai},
title = {More efficient two-mode stochastic local search for random 3-satisfiability},
journal = {Appl. Intell.},
volume = {41},
number = {3},
pages = {665--680},
year = {2014},
url = {https://doi.org/10.1007/s10489-014-0556-7},
doi = {10.1007/S10489-014-0556-7},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apin/LuoSC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/CaiLS14,
author = {Shaowei Cai and
Chuan Luo and
Kaile Su},
title = {Scoring Functions Based on Second Level Score for k-SAT with Long
Clauses},
journal = {J. Artif. Intell. Res.},
volume = {51},
pages = {413--441},
year = {2014},
url = {https://doi.org/10.1613/jair.4480},
doi = {10.1613/JAIR.4480},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/CaiLS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/CaiLTS14,
author = {Shaowei Cai and
Chuan Luo and
John Thornton and
Kaile Su},
editor = {Carla E. Brodley and
Peter Stone},
title = {Tailoring Local Search for Partial MaxSAT},
booktitle = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence,
July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada},
pages = {2623--2629},
publisher = {{AAAI} Press},
year = {2014},
url = {https://doi.org/10.1609/aaai.v28i1.9109},
doi = {10.1609/AAAI.V28I1.9109},
timestamp = {Tue, 19 Nov 2024 15:59:16 +0100},
biburl = {https://dblp.org/rec/conf/aaai/CaiLTS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LuoCWS14,
author = {Chuan Luo and
Shaowei Cai and
Wei Wu and
Kaile Su},
editor = {Carla E. Brodley and
Peter Stone},
title = {Double Configuration Checking in Stochastic Local Search for Satisfiability},
booktitle = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence,
July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada},
pages = {2703--2709},
publisher = {{AAAI} Press},
year = {2014},
url = {https://doi.org/10.1609/aaai.v28i1.9110},
doi = {10.1609/AAAI.V28I1.9110},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aaai/LuoCWS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CaiSLS14,
author = {Shaowei Cai and
Kaile Su and
Chuan Luo and
Abdul Sattar},
title = {NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover},
journal = {CoRR},
volume = {abs/1402.0584},
year = {2014},
url = {http://arxiv.org/abs/1402.0584},
eprinttype = {arXiv},
eprint = {1402.0584},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/CaiSLS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/CaiS13,
author = {Shaowei Cai and
Kaile Su},
title = {Local search for Boolean Satisfiability with configuration checking
and subscore},
journal = {Artif. Intell.},
volume = {204},
pages = {75--98},
year = {2013},
url = {https://doi.org/10.1016/j.artint.2013.09.001},
doi = {10.1016/J.ARTINT.2013.09.001},
timestamp = {Fri, 17 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/CaiS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/chinaf/YanCZLD13,
author = {Fei Yan and
Shaowei Cai and
Ming Zhang and
Guojun Liu and
Zhi{-}Hong Deng},
title = {A clique-superposition model for social networks},
journal = {Sci. China Inf. Sci.},
volume = {56},
number = {5},
pages = {1--19},
year = {2013},
url = {https://doi.org/10.1007/s11432-011-4526-y},
doi = {10.1007/S11432-011-4526-Y},
timestamp = {Thu, 01 May 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/chinaf/YanCZLD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/CaiSLS13,
author = {Shaowei Cai and
Kaile Su and
Chuan Luo and
Abdul Sattar},
title = {NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover},
journal = {J. Artif. Intell. Res.},
volume = {46},
pages = {687--716},
year = {2013},
url = {https://doi.org/10.1613/jair.3907},
doi = {10.1613/JAIR.3907},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/CaiSLS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/CaiSL13,
author = {Shaowei Cai and
Kaile Su and
Chuan Luo},
editor = {Marie desJardins and
Michael L. Littman},
title = {Improving WalkSAT for Random k-Satisfiability Problem with k {\textgreater}
3},
booktitle = {Proceedings of the Twenty-Seventh {AAAI} Conference on Artificial
Intelligence, July 14-18, 2013, Bellevue, Washington, {USA}},
pages = {145--151},
publisher = {{AAAI} Press},
year = {2013},
url = {https://doi.org/10.1609/aaai.v27i1.8554},
doi = {10.1609/AAAI.V27I1.8554},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aaai/CaiSL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/LuoCWS13,
author = {Chuan Luo and
Shaowei Cai and
Wei Wu and
Kaile Su},
editor = {Christian Schulte},
title = {Focused Random Walk with Configuration Checking and Break Minimum
for Satisfiability},
booktitle = {Principles and Practice of Constraint Programming - 19th International
Conference, {CP} 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8124},
pages = {481--496},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40627-0\_37},
doi = {10.1007/978-3-642-40627-0\_37},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/LuoCWS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CaiS13,
author = {Shaowei Cai and
Kaile Su},
editor = {Francesca Rossi},
title = {Comprehensive Score: Towards Efficient Local Search for {SAT} with
Long Clauses},
booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
on Artificial Intelligence, Beijing, China, August 3-9, 2013},
pages = {489--495},
publisher = {{IJCAI/AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6206},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/CaiS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/CaiS12,
author = {Shaowei Cai and
Kaile Su},
editor = {J{\"{o}}rg Hoffmann and
Bart Selman},
title = {Configuration Checking with Aspiration in Local Search for {SAT}},
booktitle = {Proceedings of the Twenty-Sixth {AAAI} Conference on Artificial Intelligence,
July 22-26, 2012, Toronto, Ontario, Canada},
pages = {434--440},
publisher = {{AAAI} Press},
year = {2012},
url = {https://doi.org/10.1609/aaai.v26i1.8133},
doi = {10.1609/AAAI.V26I1.8133},
timestamp = {Mon, 04 Sep 2023 15:56:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/CaiS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/CaiSS12,
author = {Shaowei Cai and
Kaile Su and
Abdul Sattar},
editor = {J{\"{o}}rg Hoffmann and
Bart Selman},
title = {Two New Local Search Strategies for Minimum Vertex Cover},
booktitle = {Proceedings of the Twenty-Sixth {AAAI} Conference on Artificial Intelligence,
July 22-26, 2012, Toronto, Ontario, Canada},
pages = {441--447},
publisher = {{AAAI} Press},
year = {2012},
url = {https://doi.org/10.1609/aaai.v26i1.8125},
doi = {10.1609/AAAI.V26I1.8125},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/CaiSS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/LuoSC12,
author = {Chuan Luo and
Kaile Su and
Shaowei Cai},
editor = {Luc De Raedt and
Christian Bessiere and
Didier Dubois and
Patrick Doherty and
Paolo Frasconi and
Fredrik Heintz and
Peter J. F. Lucas},
title = {Improving Local Search for Random 3-SAT Using Quantitative Configuration
Checking},
booktitle = {{ECAI} 2012 - 20th European Conference on Artificial Intelligence.
Including Prestigious Applications of Artificial Intelligence {(PAIS-2012)}
System Demonstrations Track, Montpellier, France, August 27-31 , 2012},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {242},
pages = {570--575},
publisher = {{IOS} Press},
year = {2012},
url = {https://doi.org/10.3233/978-1-61499-098-7-570},
doi = {10.3233/978-1-61499-098-7-570},
timestamp = {Wed, 15 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecai/LuoSC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/CaiSS11,
author = {Shaowei Cai and
Kaile Su and
Abdul Sattar},
title = {Local search with edge weighting and configuration checking heuristics
for minimum vertex cover},
journal = {Artif. Intell.},
volume = {175},
number = {9-10},
pages = {1672--1696},
year = {2011},
url = {https://doi.org/10.1016/j.artint.2011.03.003},
doi = {10.1016/J.ARTINT.2011.03.003},
timestamp = {Fri, 17 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/CaiSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/CaiS11,
author = {Shaowei Cai and
Kaile Su},
title = {Local Search with Configuration Checking for {SAT}},
booktitle = {{IEEE} 23rd International Conference on Tools with Artificial Intelligence,
{ICTAI} 2011, Boca Raton, FL, USA, November 7-9, 2011},
pages = {59--66},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICTAI.2011.18},
doi = {10.1109/ICTAI.2011.18},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/CaiS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/CaiSC10,
author = {Shaowei Cai and
Kaile Su and
Qingliang Chen},
editor = {Maria Fox and
David Poole},
title = {{EWLS:} {A} New Local Search for Minimum Vertex Cover},
booktitle = {Proceedings of the Twenty-Fourth {AAAI} Conference on Artificial Intelligence,
{AAAI} 2010, Atlanta, Georgia, USA, July 11-15, 2010},
pages = {45--50},
publisher = {{AAAI} Press},
year = {2010},
url = {https://doi.org/10.1609/aaai.v24i1.7539},
doi = {10.1609/AAAI.V24I1.7539},
timestamp = {Mon, 04 Sep 2023 16:23:45 +0200},
biburl = {https://dblp.org/rec/conf/aaai/CaiSC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-05-30 01:00 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: