@misc{indiciaecd4922d012be,
  title = {Continuous Optimization for Satisfiability Modulo Theories on Linear Real Arithmetic},
  author = {Yunuo Cen and Daniel Ebler and Xuanyao Fong},
  year = {2026},
  url = {https://arxiv.org/abs/2603.22877},
  note = {Source identifier: 2603.22877}
}