Citazione Stile APA (7a Edizione)

Cai, Y., Zhang, X., Shi, Z., Tao, M., & Xu, Q. (2026). Rethinking Clause Management for CDCL SAT Solvers.

Citazione stile Chigago Style (17a edizione)

Cai, Yalun, Xindi Zhang, Zhengyuan Shi, Mengxia Tao, e Qiang Xu. Rethinking Clause Management for CDCL SAT Solvers. 2026.

Citatione MLA (9a ed.)

Cai, Yalun, et al. Rethinking Clause Management for CDCL SAT Solvers. 2026.