Frohn, F., & Giesl, J. (2024). Satisfiability Modulo Exponential Integer Arithmetic.
Citazione stile Chigago Style (17a edizione)Frohn, Florian, e Jürgen Giesl. Satisfiability Modulo Exponential Integer Arithmetic. 2024.
Citatione MLA (9a ed.)Frohn, Florian, e Jürgen Giesl. Satisfiability Modulo Exponential Integer Arithmetic. 2024.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.