Cita APA (7a ed.)

Spallitta, G., & Vardi, M. Y. (2026). Extending CDCL-based Model Enumeration with Weights.

Cita Chicago Style (17a ed.)

Spallitta, Giuseppe, y Moshe Y. Vardi. Extending CDCL-based Model Enumeration with Weights. 2026.

Cita MLA (9a ed.)

Spallitta, Giuseppe, y Moshe Y. Vardi. Extending CDCL-based Model Enumeration with Weights. 2026.