arrow
Back
S

Shaowei Cai

chinese academy of sciences

30H-index
166Paper Count
2.9KCitation Count
Published Papers 37
Publication Date
Discovering heuristics in a complex SAT solver with large language models
err2026-07-17
err0
errOAAI
errYiwen Sun; Furong Ye; Zhihan Chen; Ke Wei; Shaowei Cai
errShare
errSave
CirOPT: Toward Effective Combinational Equivalence Checking via Compiler Optimization
err2026-04-01
err0
PREAI
errCui, Shaoke; Luo, Chuan; Yang, Zhenwei; Lin, Jiabao; Wu, Wei; Liu, Chanjuan; Cai, Shaowei; Hu, Chunming
errShare
errSave
Local Search for Integer Quadratic Programming
err2026-01-01
err0
PREAI
errHe, Xiang; Lin, Peng; Jiang, Tao; Cai, Shaowei
errShare
errSave
Local-MIP: Efficient Local Search for Mixed Integer Programming
err2025-08-27
err0
PREAI
errPeng Lin; Shaowei Cai; Mengchuan Zou; Jinkun Lin
errShare
errSave
Research progress of stability and supercooling in phase change material emulsions
err2024-12-01
err3
PREAI
errJi, Jun; Zhang, Chaoxiang; Cai, Shaowei; Zhang, Xuelai; Tong, Hui
errShare
errSave
Optimizing local search-based partial MaxSAT solving via initial assignment prediction
err2024-11-21
err0
PREAI
errLiu, Chanjuan; Liu, Guangyuan; Luo, Chuan; Cai, Shaowei; Lei, Zhendong; Zhang, Wenjie; Chu, Yi; Zhang, Guojing
errShare
errSave
Development and thermal property analysis of biobased binary composite heat storage materials
err2024-08-01
err2
PREAI
errHua, Weisan; Hu, Jinsha; Zhao, Yize; Zhang, Xuelai; Cai, Shaowei; Ji, Jun
errShare
errSave
errShare
errSave
Experimental study on flexible flame retardant phase change materials for reducing thermal runaway propagation of batteries
err2024-06-01
err2
PREAI
errZhao, Yize; Zhang, Xuelai; Cai, Shaowei; Zhang, Can; Wu, Mingxia; Yang, Bo; Ji, Jun; Hua, Weisan
errShare
errSave
Development of bio-based flexible phase change materials utilizing lauric acid for battery thermal management systems
err2024-05-01
err6
PREAI
errCai, Shaowei; Ji, Jun; Zhang, Xuelai; Zhang, Can; Pan, Zhenyu; Zhang, Chaoxiang; Zhao, Yize
errShare
errSave
NuSC: An Effective Local Search Algorithm for Solving the Set Covering Problem
err2024-03-01
err11
PREAI
errLuo, Chuan; Xing, Wenqian; Cai, Shaowei; Hu, Chunming
errShare
errSave
A review of battery thermal management systems using liquid cooling and PCM
err2024-01-01
err40
PREAI
errZhao, Yize; Zhang, Xuelai; Yang, Bo; Cai, Shaowei
errShare
errSave
LANDMARK: language-guided representation enhancement framework for scene graph generation
err2023-08-18
err2
errOAAI
errChang, Xiaoguang; Wang, Teng; Cai, Shaowei; Sun, Changyin
errShare
errSave
errShare
errSave