热点
"SAT求解" 相关文章
TurboSAT: Gradient-Guided Boolean Satisfiability Accelerated on GPU-CPU Hybrid System
cs.AI updates on arXiv.org 2025-11-12T05:13:29.000000Z
On Continuous Optimization for Constraint Satisfaction Problems
cs.AI updates on arXiv.org 2025-10-07T04:08:58.000000Z
Circuit-Aware SAT Solving: Guiding CDCL via Conditional Probabilities
cs.AI updates on arXiv.org 2025-08-07T04:12:27.000000Z