Citazione Stile APA (7a Edizione)

Singh, S., Liew, V., Vinyals, M., & Ganesh, V. (2026). Proofdoors and Efficiency of CDCL Solvers.

Citazione stile Chigago Style (17a edizione)

Singh, Sunidhi, Vincent Liew, Marc Vinyals, e Vijay Ganesh. Proofdoors and Efficiency of CDCL Solvers. 2026.

Citatione MLA (9a ed.)

Singh, Sunidhi, et al. Proofdoors and Efficiency of CDCL Solvers. 2026.