APA (7th ed.) Citation

Wood, K., Zhou, R., Wu, H., Mendes, H., & Pulaj, J. (2023). Satisfiability Modulo Theories for Verifying MILP Certificates.

Chicago Style (17th ed.) Citation

Wood, Kenan, Runtian Zhou, Haoze Wu, Hammurabi Mendes, and Jonad Pulaj. Satisfiability Modulo Theories for Verifying MILP Certificates. 2023.

MLA (9th ed.) Citation

Wood, Kenan, et al. Satisfiability Modulo Theories for Verifying MILP Certificates. 2023.