Scholar
Yalun Cai
Google Scholar ID: F57u05oAAAAJ
Unknown affiliation
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
22
H-index
2
i10-index
1
Publications
6
Co-authors
0
Publications
2 items
Rethinking Clause Management for CDCL SAT Solvers
2026
Cited
0
Circuit-Aware SAT Solving: Guiding CDCL via Conditional Probabilities
2025
Cited
0
