AI RESEARCH
Continuous Optimization for Satisfiability Modulo Theories on Linear Real Arithmetic
arXiv CS.AI
•
ArXi:2603.22877v1 Announce Type: new Efficient solutions for satisfiability modulo theories (SMT) are integral in industrial applications such as hardware verification and design automation. Existing approaches are predominantly based on conflict-driven clause learning, which is structurally difficult to parallelize and therefore scales poorly. In this work, we