Ruben Martins

Latest

• UpMax: User partitioning for MaxSAT, SAT 2023
• AlloyMax: Bringing Maximum Satisfaction to Relational Specifications, ESEC/FSE 2021
• SQUARES: A SQL Synthesizer Using Query Reverse Engineering, VLDB 2020
• Encodings for Enumeration-Based Program Synthesis, CP 2019