Cita APA (7a ed.)

Nieuwenhuis, R., Oliveras, A., & Rodriguez-Carbonell, E. (2024). IntSat: Integer Linear Programming by Conflict-Driven Constraint-Learning.

Cita Chicago Style (17a ed.)

Nieuwenhuis, Robert, Albert Oliveras, y Enric Rodriguez-Carbonell. IntSat: Integer Linear Programming by Conflict-Driven Constraint-Learning. 2024.

Cita MLA (9a ed.)

Nieuwenhuis, Robert, et al. IntSat: Integer Linear Programming by Conflict-Driven Constraint-Learning. 2024.