@misc{indiciaea8216d25d1bb,
  title = {Learning to Select SAT Encodings for Pseudo-Boolean and Linear Integer Constraints},
  author = {Felix Ulrich-Oltean and Peter Nightingale and James Alfred Walker},
  year = {2023},
  doi = {10.1007/s10601-023-09364-1},
  url = {https://arxiv.org/abs/2307.09342},
  note = {Source identifier: 2307.09342}
}