Continuous Optimization for Satisfiability Modulo Theories on Linear Real Arithmetic

Yunuo Cen, Daniel Ebler, Xuanyao Fong

Efficient solutions for satisfiability modulo theories (SMT) are integral in industrial applications such as hardware verification and design automation. Existing approaches are pr…