Reeves, J. E. (2025) “The Impact of Literal Sorting on Cardinality Constraint Encodings”, Proceedings of the AAAI Conference on Artificial Intelligence, 39(11), pp. 11327–11335. doi: 10.1609/aaai.v39i11.33232.