APA (7th ed.) Citation

Cen, Y., Ebler, D., & Fong, X. (2026). Continuous Optimization for Satisfiability Modulo Theories on Linear Real Arithmetic.

Chicago Style (17th ed.) Citation

Cen, Yunuo, Daniel Ebler, and Xuanyao Fong. Continuous Optimization for Satisfiability Modulo Theories on Linear Real Arithmetic. 2026.

MLA (9th ed.) Citation

Cen, Yunuo, et al. Continuous Optimization for Satisfiability Modulo Theories on Linear Real Arithmetic. 2026.