Reeves, J. E.; Filipe, J.; Hsu, M.-C.; Martins, R.; Heule, M. J. H. The Impact of Literal Sorting on Cardinality Constraint Encodings. AAAI 2025, 39, 11327-11335.