Shaowei Cai

Full Professor, Institute of Software, Chinese Academy of Sciences

Joined

March 2017

Names

Shaowei Cai

Emails

****@ios.ac.cn (Confirmed)

Personal Links

Homepage

Google Scholar

DBLP

Career & Education History

Full Professor

Institute of Software, Chinese Academy of Sciences (ios.ac.cn)

2017 – Present

Advisors, Relations & Conflicts

No relations added

Expertise

No areas of expertise listed

Publications

Beyond Clause Count: A Study of Proof-Relevant Difficulty in LLM SAT Reasoning
Tao Jiang, Shaowei Cai
- ICLR 2026 Workshop LLM Reasoning Oral
- Readers: Everyone
AutoPBO: LLM-powered Optimization for Local Search PBO Solvers
JinyuanLi, Yi Chu, Yiwen Sun, Mengchuan Zou, Shaowei Cai
- Submitted to ICLR 2026
- Readers: Everyone
DeepSAT: An EDA-Driven Learning Framework for SAT
Min Li, Zhengyuan Shi, Qiuxia LAI, Sadaf Khan, Shaowei Cai, Qiang Xu
- 22 Sept 2022 (modified: 13 Feb 2023)
- ICLR 2023 Conference Withdrawn Submission
- Readers: Everyone
NuMWVC: A Novel Local Search for Minimum Weighted Vertex Cover Problem
Ruizhi Li, Shaowei Cai, Shuli Hu, Minghao Yin, Jian Gao
- 2018 (modified: 02 Mar 2020)
- AAAI 2018
- Readers: Everyone
Improving Local Search for Minimum Weight Vertex Cover by Dynamic Strategies
Shaowei Cai, Wenying Hou, Jinkun Lin, Yuanjie Li
- 2018 (modified: 10 Nov 2022)
- IJCAI 2018
- Readers: Everyone
A Fast Local Search Algorithm for Minimum Weight Dominating Set Problem on Massive Graphs
Yiyuan Wang, Shaowei Cai, Jiejiang Chen, Minghao Yin
- 2018 (modified: 10 Nov 2022)
- IJCAI 2018
- Readers: Everyone
Solving (Weighted) Partial MaxSAT by Dynamic Local Search for SAT
Zhendong Lei, Shaowei Cai
- 2018 (modified: 10 Nov 2022)
- IJCAI 2018
- Readers: Everyone
CCEHC: An Efficient Local Search Algorithm for Weighted Partial Maximum Satisfiability (Extended Abstract)
Chuan Luo, Shaowei Cai, Kaile Su, Wenxuan Huang
- 2017 (modified: 09 May 2025)
- IJCAI 2017
- Readers: Everyone
From Decimation to Local Search and Back: A New Approach to MaxSAT
Shaowei Cai, Chuan Luo, Haochen Zhang
- 2017 (modified: 10 Nov 2022)
- IJCAI 2017
- Readers: Everyone
A Reduction based Method for Coloring Very Large Graphs
Jinkun Lin, Shaowei Cai, Chuan Luo, Kaile Su
- 2017 (modified: 10 Nov 2022)
- IJCAI 2017
- Readers: Everyone

View all 22 publications

Co-Authors

View all 28 co-authors