Cita APA

Alòs, J., Ansótegui Gil, C. J., & Torres Montiel, E. (2026). Revisiting SAT-based Solvers: MaxSAT Rules and Core Sequences.

Citación estilo Chicago

Alòs, Josep, Carlos José Ansótegui Gil, y Eduard Torres Montiel. Revisiting SAT-based Solvers: MaxSAT Rules and Core Sequences. 2026.

Cita MLA

Alòs, Josep, Carlos José Ansótegui Gil, y Eduard Torres Montiel. Revisiting SAT-based Solvers: MaxSAT Rules and Core Sequences. 2026.