Reeves, Joseph E., João Filipe, Min-Chien Hsu, Ruben Martins, and Marijn J. H. Heule. “The Impact of Literal Sorting on Cardinality Constraint Encodings”. Proceedings of the AAAI Conference on Artificial Intelligence 39, no. 11 (April 11, 2025): 11327–11335. Accessed May 31, 2026. https://ojs.aaai.org/index.php/AAAI/article/view/33232.