@misc{indiciaed3fd48c08552,
  title = {IntSat: Integer Linear Programming by Conflict-Driven Constraint-Learning},
  author = {Robert Nieuwenhuis and Albert Oliveras and Enric Rodriguez-Carbonell},
  year = {2024},
  doi = {10.1080/10556788.2023.2246167},
  url = {https://arxiv.org/abs/2402.15522},
  note = {Source identifier: 2402.15522}
}