Martins, Ruben

3 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

IJCAI 2023 Certified CNF Translations for Pseudo-Boolean Solving (Extended Abstract) Stephan Gocht, Ruben Martins, Jakob Nordström, Andy Oertel

ICLRW 2022 Patch Generation with Language Models: Feasibility and Scaling Behavior Sophia D Kolak, Ruben Martins, Claire Le Goues, Vincent Josua Hellendoorn