Nieuwenhuis, R., Oliveras, A., & Rodriguez-Carbonell, E. (2024). IntSat: Integer Linear Programming by Conflict-Driven Constraint-Learning.
Style de citation Chicago (17e éd.)Nieuwenhuis, Robert, Albert Oliveras, et Enric Rodriguez-Carbonell. IntSat: Integer Linear Programming by Conflict-Driven Constraint-Learning. 2024.
Style de citation MLA (9e éd.)Nieuwenhuis, Robert, et al. IntSat: Integer Linear Programming by Conflict-Driven Constraint-Learning. 2024.
Attention : ces citations peuvent ne pas être correctes à 100%.