TY  - RPRT
TI  - IntSat: Integer Linear Programming by Conflict-Driven Constraint-Learning
AU  - Robert Nieuwenhuis
AU  - Albert Oliveras
AU  - Enric Rodriguez-Carbonell
PY  - 2024
DO  - 10.1080/10556788.2023.2246167
UR  - https://arxiv.org/abs/2402.15522
ID  - 2402.15522
ER  -