APA (7th ed.) Citation

Brix, C., Walczak, J., Lommen, N., & Noll, T. (2026). Using GPUs And LLMs Can Be Satisfying for Nonlinear Real Arithmetic Problems.

Chicago Style (17th ed.) Citation

Brix, Christopher, Julia Walczak, Nils Lommen, and Thomas Noll. Using GPUs And LLMs Can Be Satisfying for Nonlinear Real Arithmetic Problems. 2026.

MLA (9th ed.) Citation

Brix, Christopher, et al. Using GPUs And LLMs Can Be Satisfying for Nonlinear Real Arithmetic Problems. 2026.