Reeves, J. E., Filipe, J., Hsu, M.-C., Martins, R., & Heule, M. J. H. (2025). The Impact of Literal Sorting on Cardinality Constraint Encodings. Proceedings of the AAAI Conference on Artificial Intelligence, 39(11), 11327–11335. https://doi.org/10.1609/aaai.v39i11.33232