APA (7th ed.) Citation

Banković, M. (2017). Parallelizing simplex within SMT solvers. Artificial Intelligence Review, 48(1), 83. https://doi.org/10.1007/s10462-016-9495-5

Chicago Style (17th ed.) Citation

Banković, Milan. "Parallelizing Simplex Within SMT Solvers." Artificial Intelligence Review 48, no. 1 (2017): 83. https://doi.org/10.1007/s10462-016-9495-5.

MLA (9th ed.) Citation

Banković, Milan. "Parallelizing Simplex Within SMT Solvers." Artificial Intelligence Review, vol. 48, no. 1, 2017, p. 83, https://doi.org/10.1007/s10462-016-9495-5.