Scholar
Shaowei Cai
Google Scholar ID: mcuXqQoAAAAJ
Institute of Software, Chinese Academy of Sciences
Satisfiability
Constraint Solving
Combinatorial Optimization
Heuristic Search
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
4,050
H-index
37
i10-index
91
Publications
20
Co-authors
14
list available
Publications
8 items
Short Resolution Refutations for CNFs with Bounded Weighted Incidence Treewidth
2026
Cited
0
Depth Enables Local Entropy: Quadratic Depth Dependence in Deep Variation-Norm ReLU Regression
2026
Cited
0
Polynomial-Time Singular Witnesses for Non-SNS Sign Patterns
2026
Cited
0
A Better Analysis For PPSZ For 3-SAT
2026
Cited
0
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
Co-authors
7 total
Chuan Luo
Beihang University, China
Minghao Yin (殷明浩)
Professor of Computer Science, Northeast Normal University
Qingwei Lin
Microsoft
Abdul Sattar
Professor of Computer Science and Artificial Intelliegnce, Griffith University
Holger Hoos
RWTH Aachen University, Germany • Leiden University, Netherlands • University of British Columbia
Lu Zhang
Peking University
Faisal N. Abu-Khzam
Professor of Computer Science, Lebanese American University
