Cita APA (7a ed.)

Isac, O., Refaeli, I., Wu, H., Barrett, C., & Katz, G. (2025). PICID: Proof-Driven Clause Learning in Neural Network Verification.

Cita Chicago Style (17a ed.)

Isac, Omri, Idan Refaeli, Haoze Wu, Clark Barrett, y Guy Katz. PICID: Proof-Driven Clause Learning in Neural Network Verification. 2025.

Cita MLA (9a ed.)

Isac, Omri, et al. PICID: Proof-Driven Clause Learning in Neural Network Verification. 2025.