Citazione Stile APA (7a Edizione)

Zhang, G., Fukuda, K., Zhang, Z., Bandara, H. M. N. D., Chen, S., Zhao, J., & Sui, Y. (2025). Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees.

Citazione stile Chigago Style (17a edizione)

Zhang, Guanqin, Kota Fukuda, Zhenya Zhang, H. M. N. Dilum Bandara, Shiping Chen, Jianjun Zhao, e Yulei Sui. Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees. 2025.

Citatione MLA (9a ed.)

Zhang, Guanqin, et al. Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees. 2025.