Shaowei Cai
Scholar

Shaowei Cai

Google Scholar ID: mcuXqQoAAAAJ
Institute of Software, Chinese Academy of Sciences
SatisfiabilityConstraint SolvingCombinatorial OptimizationHeuristic Search
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
4,050
 
H-index
37
 
i10-index
91
 
Publications
20
 
Co-authors
14
list available
Contact
No contact links provided.
Publications
4 items
FastLEC: Parallel Datapath Equivalence Checking with Hybrid Engines
2025
Cited
0
AutoPBO: LLM-powered Optimization for Local Search PBO Solvers
2025
Cited
0
Automatically discovering heuristics in a complex SAT solver with large language models
2025
Cited
0
Better Understandings and Configurations in MaxSAT Local Search Solvers via Anytime Performance Analysis
arXiv.org · 2024
Cited
1
Resume (English only)
Co-authors
14 total
Chuan Luo
Chuan Luo
Beihang University, China
Co-author 2
Co-author 2
Co-author 3
Co-author 3
Co-author 4
Co-author 4
Co-author 5
Co-author 5
Minghao Yin (殷明浩)
Minghao Yin (殷明浩)
Professor of Computer Science, Northeast Normal University
Qingwei Lin
Qingwei Lin
Microsoft
Abdul Sattar
Abdul Sattar
Professor of Computer Science and Artificial Intelliegnce, Griffith University