GPU-CPU Hybrid Framework Proposed for Weighted Partial MaxSAT Solving
Researchers present a hybrid framework combining differentiable GPU optimization with state-of-the-art CPU solvers for Weighted Partial MaxSAT problems.
Read the full story at arXiv cs.AI ↗
Timeline · 1 report
- 2026-11-13 05:00 · arXiv cs.AI
Advancing Weighted Partial MaxSAT Solving via Differentiable GPU Guidance