TY  - RPRT
TI  - Continuous Optimization for Satisfiability Modulo Theories on Linear Real Arithmetic
AU  - Yunuo Cen
AU  - Daniel Ebler
AU  - Xuanyao Fong
PY  - 2026
UR  - https://arxiv.org/abs/2603.22877
ID  - 2603.22877
ER  -