TY  - RPRT
TI  - Near-Optimal Encodings of Cardinality Constraints
AU  - Andrew Krapivin
AU  - Benjamin Przybocki
AU  - Bernardo Subercaseaux
PY  - 2026
UR  - https://arxiv.org/abs/2603.28954
ID  - 2603.28954
ER  -