@misc{indiciaee07c53d5105b,
  title = {Near-Optimal Encodings of Cardinality Constraints},
  author = {Andrew Krapivin and Benjamin Przybocki and Bernardo Subercaseaux},
  year = {2026},
  url = {https://arxiv.org/abs/2603.28954},
  note = {Source identifier: 2603.28954}
}