ML Anthology

Filipe, João

1 publications

AAAI 2025 The Impact of Literal Sorting on Cardinality Constraint Encodings Joseph E. Reeves, João Filipe, Min-Chien Hsu, Ruben Martins, Marijn J. H. Heule