Cita APA (7a ed.)

Liu, Z., Yang, P., Zhang, L., & Huang, X. (2024). DeepCDCL: An CDCL-based Neural Network Verification Framework.

Cita Chicago Style (17a ed.)

Liu, Zongxin, Pengfei Yang, Lijun Zhang, y Xiaowei Huang. DeepCDCL: An CDCL-based Neural Network Verification Framework. 2024.

Cita MLA (9a ed.)

Liu, Zongxin, et al. DeepCDCL: An CDCL-based Neural Network Verification Framework. 2024.