Citazione Stile APA (7a Edizione)

Zhao, H., Hijazi, H., Jones, H., Moore, J., Tanneau, M., & Van Hentenryck, P. (2024). Bound Tightening using Rolling-Horizon Decomposition for Neural Network Verification.

Citazione stile Chigago Style (17a edizione)

Zhao, Haoruo, Hassan Hijazi, Haydn Jones, Juston Moore, Mathieu Tanneau, e Pascal Van Hentenryck. Bound Tightening Using Rolling-Horizon Decomposition for Neural Network Verification. 2024.

Citatione MLA (9a ed.)

Zhao, Haoruo, et al. Bound Tightening Using Rolling-Horizon Decomposition for Neural Network Verification. 2024.