Cita APA

Nieuwenhuis, R. L. M., Oliveras Llunell, A., & Rodríguez Carbonell, E. (2023). IntSat: Integer linear programming by conflict-driven constraint learning.

Citación estilo Chicago

Nieuwenhuis, Robert Lukas Mario|||0000-0002-6489-2138, Albert|||0000-0002-5893-1911 Oliveras Llunell, y Enric|||0000-0003-1061-3954 Rodríguez Carbonell. IntSat: Integer Linear Programming By Conflict-driven Constraint Learning. 2023.

Cita MLA

Nieuwenhuis, Robert Lukas Mario|||0000-0002-6489-2138, Albert|||0000-0002-5893-1911 Oliveras Llunell, y Enric|||0000-0003-1061-3954 Rodríguez Carbonell. IntSat: Integer Linear Programming By Conflict-driven Constraint Learning. 2023.