J. E. Reeves, J. Filipe, M.-C. Hsu, R. Martins, and M. J. H. Heule, “The Impact of Literal Sorting on Cardinality Constraint Encodings”, AAAI, vol. 39, no. 11, pp. 11327–11335, Apr. 2025.