Yunuo Cen, Daniel Ebler, Xuanyao Fong

Continuous Optimization for Satisfiability Modulo Theories on Linear Real Arithmetic

arXiv:2603.22877v1 Announce Type: new Abstract: Efficient solutions for satisfiability modulo theories (SMT) are integral in industrial applications such as hardware verification and design automation. Existing …