The Impact of Literal Sorting on Cardinality Constraint Encodings.

Joseph E. Reeves, Joo Filipe, Min-Chien Hsu, Ruben Martins, Marijn J. H. Heule

Browse the full AAAI paper archive.