Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2511.07737
Cited By
TurboSAT: Gradient-Guided Boolean Satisfiability Accelerated on GPU-CPU Hybrid System
11 November 2025
Steve Dai
Cunxi Yu
Kalyan Krishnamani
Brucek Khailany
NAI
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"TurboSAT: Gradient-Guided Boolean Satisfiability Accelerated on GPU-CPU Hybrid System"
0 / 0 papers shown
No papers found
