APA (7th ed.) Citation

Isabel, M., Rodríguez-Carbonell, E., Rodríguez-Núñez, C., & Rubio, A. (2026). An Effective Orchestral Approach to Satisfiability Modulo Prime Fields.

Chicago Style (17th ed.) Citation

Isabel, Miguel, Enric Rodríguez-Carbonell, Clara Rodríguez-Núñez, and Albert Rubio. An Effective Orchestral Approach to Satisfiability Modulo Prime Fields. 2026.

MLA (9th ed.) Citation

Isabel, Miguel, et al. An Effective Orchestral Approach to Satisfiability Modulo Prime Fields. 2026.