Cai, Shaowei

48 publications

IJCAI 2025 An Efficient Core-Guided Solver for Weighted Partial MaxSAT Shiwei Pan, Yiyuan Wang, Shaowei Cai

AAAI 2025 Better Understandings and Configurations in MaxSAT Stochastic Local Search Solvers via Anytime Performance Analysis Furong Ye, Chuan Luo, Shaowei Cai

JAIR 2025 Improving Local Search Algorithm for Pseudo Boolean Optimization Yujiao Zhao, Yiyuan Wang, Yi Chu, Wenbo Zhou, Shaowei Cai, Minghao Yin

IJCAI 2024 ParaILP: A Parallel Local Search Framework for Integer Linear Programming with Cooperative Evolution Mechanism Peng Lin, Mengchuan Zou, Zhihan Chen, Shaowei Cai

AAAI 2023 Can Graph Neural Networks Learn to Solve the MaxSAT Problem? (Student Abstract) Minghao Liu, Pei Huang, Fuqi Jia, Fan Zhang, Yuchen Sun, Shaowei Cai, Feifei Ma, Jian Zhang

AAAI 2023 NuWLS: Improving Local Search for (Weighted) Partial MaxSAT by New Weighting Techniques Yi Chu, Shaowei Cai, Chuan Luo

IJCAI 2023 PathLAD+: An Improved Exact Algorithm for Subgraph Isomorphism Problem Yiyuan Wang, Chenghou Jin, Shaowei Cai, Qingwei Lin

JAIR 2022 Better Decision Heuristics in CDCL Through Local Search and Target Phases Shaowei Cai, Xindi Zhang, Mathias Fleury, Armin Biere

IJCAI 2022 Deep Cooperation of CDCL and Local Search for SAT (Extended Abstract) Shaowei Cai, Xindi Zhang

AAAI 2022 Improving Local Search Algorithms via Probabilistic Configuration Checking Weilin Luo, Rongzhen Ye, Hai Wan, Shaowei Cai, Biqing Fang, Delong Zhang

JAIR 2022 Improving Simulated Annealing for Clique Partitioning Problems Jian Gao, Yiqi Lv, Minghao Liu, Shaowei Cai, Feifei Ma

AAAI 2022 NukCP: An Improved Local Search Algorithm for Maximum K-Club Problem Jiejiang Chen, Yiyuan Wang, Shaowei Cai, Minghao Yin, Yupeng Zhou, Jieyu Wu

JAIR 2021 A Semi-Exact Algorithm for Quickly Computing a Maximum Weight Clique in Large Sparse Graphs Shaowei Cai, Jinkun Lin, Yiyuan Wang, Darren Strash

AAAI 2021 Correlation-Aware Heuristic Search for Intelligent Virtual Machine Provisioning in Cloud Systems Chuan Luo, Bo Qiao, Wenqian Xing, Xin Chen, Pu Zhao, Chao Du, Randolph Yao, Hongyu Zhang, Wei Wu, Shaowei Cai, Bing He, Saravanakumar Rajmohan, Qingwei Lin

JAIR 2021 Efficient Local Search Based on Dynamic Connectivity Maintenance for Minimum Connected Dominating Set Xindi Zhang, Bohan Li, Shaowei Cai, Yiyuan Wang

AAAI 2021 NuQClq: An Effective Local Search Algorithm for Maximum Quasi-Clique Problem Jiejiang Chen, Shaowei Cai, Shiwei Pan, Yiyuan Wang, Qingwei Lin, Mengyu Zhao, Minghao Yin

AAAI 2021 PULNS: Positive-Unlabeled Learning with Effective Negative Sample Selector Chuan Luo, Pu Zhao, Chen Chen, Bo Qiao, Chao Du, Hongyu Zhang, Wei Wu, Shaowei Cai, Bing He, Saravanakumar Rajmohan, Qingwei Lin

IJCAI 2020 Extended Conjunctive Normal Form and an Efficient Algorithm for Cardinality Constraints Zhendong Lei, Shaowei Cai, Chuan Luo

AAAI 2020 Local Search with Dynamic-Threshold Configuration Checking and Incremental Neighborhood Updating for Maximum K-Plex Problem Peilin Chen, Hai Wan, Shaowei Cai, Jia Li, Haicheng Chen

IJCAI 2020 NLocalSAT: Boosting Local Search with Solution Prediction Wenjie Zhang, Zeyu Sun, Qihao Zhu, Ge Li, Shaowei Cai, Yingfei Xiong, Lu Zhang

IJCAI 2020 NuCDS: An Efficient Local Search Algorithm for Minimum Connected Dominating Set Bohan Li, Xindi Zhang, Shaowei Cai, Jinkun Lin, Yiyuan Wang, Christian Blum

AAAI 2020 Reduction and Local Search for Weighted Graph Coloring Problem Yiyuan Wang, Shaowei Cai, Shiwei Pan, Ximing Li, Minghao Yin

AAAI 2020 Solving Set Cover and Dominating Set via Maximum Satisfiability Zhendong Lei, Shaowei Cai

IJCAI 2020 Two-Goal Local Search and Inference Rules for Minimum Dominating Set Shaowei Cai, Wenying Hou, Yiyuan Wang, Chuan Luo, Qingwei Lin

IJCAI 2019 Local Search with Efficient Automatic Configuration for Minimum Vertex Cover Chuan Luo, Holger H. Hoos, Shaowei Cai, Qingwei Lin, Hongyu Zhang, Dongmei Zhang

IJCAI 2018 A Fast Local Search Algorithm for Minimum Weight Dominating Set Problem on Massive Graphs Yiyuan Wang, Shaowei Cai, Jiejiang Chen, Minghao Yin

IJCAI 2018 Improving Local Search for Minimum Weight Vertex Cover by Dynamic Strategies Shaowei Cai, Wenying Hou, Jinkun Lin, Yuanjie Li

AAAI 2018 NuMWVC: A Novel Local Search for Minimum Weighted Vertex Cover Problem Ruizhi Li, Shaowei Cai, Shuli Hu, Minghao Yin, Jian Gao

IJCAI 2018 Solving (Weighted) Partial MaxSAT by Dynamic Local Search for SAT Zhendong Lei, Shaowei Cai

IJCAI 2017 A Reduction Based Method for Coloring Very Large Graphs Jinkun Lin, Shaowei Cai, Chuan Luo, Kaile Su

IJCAI 2017 CCEHC: An Efficient Local Search Algorithm for Weighted Partial Maximum Satisfiability (Extended Abstract) Chuan Luo, Shaowei Cai, Kaile Su, Wenxuan Huang

JAIR 2017 Finding a Small Vertex Cover in Massive Sparse Graphs: Construct, Local Search, and Preprocess Shaowei Cai, Jinkun Lin, Chuan Luo

IJCAI 2017 From Decimation to Local Search and Back: A New Approach to MaxSAT Shaowei Cai, Chuan Luo, Haochen Zhang

JAIR 2017 Local Search for Minimum Weight Dominating Set with Two-Level Configuration Checking and Frequency Based Scoring Function Yiyuan Wang, Shaowei Cai, Minghao Yin

IJCAI 2017 Local Search for Minimum Weight Dominating Set with Two-Level Configuration Checking and Frequency Based Scoring Function (Extended Abstract) Yiyuan Wang, Shaowei Cai, Minghao Yin

IJCAI 2016 Fast Solving Maximum Weight Clique Problem in Massive Graphs Shaowei Cai, Jinkun Lin

AAAI 2016 Two Efficient Local Search Algorithms for Maximum Weight Clique Problem Yiyuan Wang, Shaowei Cai, Minghao Yin

IJCAI 2015 Balance Between Complexity and Quality: Local Search for Minimum Vertex Cover in Massive Graphs Shaowei Cai

AAAI 2015 Two Weighting Local Search for Minimum Vertex Cover Shaowei Cai, Jinkun Lin, Kaile Su

AAAI 2014 Double Configuration Checking in Stochastic Local Search for Satisfiability Chuan Luo, Shaowei Cai, Wei Wu, Kaile Su

JAIR 2014 Scoring Functions Based on Second Level Score for K-SAT with Long Clauses Shaowei Cai, Chuan Luo, Kaile Su

AAAI 2014 Tailoring Local Search for Partial MaxSAT Shaowei Cai, Chuan Luo, John Thornton, Kaile Su

IJCAI 2013 Comprehensive Score: Towards Efficient Local Search for SAT with Long Clauses Shaowei Cai, Kaile Su

AAAI 2013 Improving WalkSAT for Random K-Satisfiability Problem with K > 3 Shaowei Cai, Kaile Su, Chuan Luo

JAIR 2013 NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover Shaowei Cai, Kaile Su, Chuan Luo, Abdul Sattar

AAAI 2012 Configuration Checking with Aspiration in Local Search for SAT Shaowei Cai, Kaile Su

AAAI 2012 Two New Local Search Strategies for Minimum Vertex Cover Shaowei Cai, Kaile Su, Abdul Sattar

AAAI 2010 EWLS: A New Local Search for Minimum Vertex Cover Shaowei Cai, Kaile Su, Qingliang Chen