Exploiting Resolution-Based Representations for MaxSAT Solving. - Miguel Neves 001; Ruben Martins; Mikolás Janota; Inês Lynce; Vasco Manquinho (SAT, 2015)

DistMS: A Non-Portfolio Distributed Solver for Maximum Satisfiability. - Miguel Neves 001; Inês Lynce; Vasco Manquinho (CoRR, 2015)

Non-Portfolio Approaches for Distributed Maximum Satisfiability. - Miguel Terra-Neves; Inês Lynce; Vasco Manquinho (ICTAI, 2016)

Introducing Pareto Minimal Correction Subsets. - Miguel Terra-Neves; Inês Lynce; Vasco Manquinho (SAT, 2017)

Enhancing Constraint-Based Multi-Objective Combinatorial Optimization. - Miguel Terra-Neves; Inês Lynce; Vasco Manquinho (AAAI, 2018)

Stratification for Constraint-Based Multi-Objective Combinatorial Optimization. - Miguel Terra-Neves; Inês Lynce; Vasco Manquinho (IJCAI, 2018)

Multi-Objective Optimization Through Pareto Minimal Correction Subsets. - Miguel Terra-Neves; Inês Lynce; Vasco Manquinho (IJCAI, 2018)

Concurrency Debugging with MaxSMT. - Miguel Terra-Neves; Nuno Machado; Inês Lynce; Vasco Manquinho (AAAI, 2019)

Constraint-Based Techniques in Stochastic Local Search MaxSAT Solving. - Andreia P. Guerreiro; Miguel Terra-Neves; Inês Lynce; José Rui Figueira; Vasco Manquinho (CP, 2019)

Encodings for Enumeration-Based Program Synthesis. - Pedro Orvalho; Miguel Terra-Neves; Miguel Ventura; Ruben Martins; Vasco Manquinho (CP, 2019)

Integrating Pseudo-Boolean Constraint Reasoning in Multi-Objective Evolutionary Algorithms. - Miguel Terra-Neves; Inês Lynce; Vasco Manquinho (IJCAI, 2019)

Virtual machine consolidation using constraint-based multi-objective optimization. - Miguel Terra-Neves; Inês Lynce; Vasco Manquinho (J. Heuristics, 2019)

SQUARES : A SQL Synthesizer Using Query Reverse Engineering. - Pedro Orvalho; Miguel Terra-Neves; Miguel Ventura; Ruben Martins; Vasco Manquinho (Proc. VLDB Endow., 2020)

Automated Refactoring of Unbounded Queries in Software Automation Platforms. - Inês Pina Fernandes; Miguel Terra-Neves; João Costa Seco (MoDELS (Companion), 2021)

Duplicated code pattern mining in visual programming languages. - Miguel Terra-Neves; João Nadkarni; Miguel Ventura; Pedro Resende; Hugo Veiga; António Alegria (ESEC/SIGSOFT FSE, 2021)

FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions. - Margarida Ferreira; Miguel Terra-Neves; Miguel Ventura; Inês Lynce; Ruben Martins (TACAS (1), 2021)

CUBES: A Parallel Synthesizer for SQL Using Examples. - Ricardo Brancas; Miguel Terra-Neves; Miguel Ventura; Vasco Manquinho; Ruben Martins (CoRR, 2022)

On Repairing Natural Language to SQL Queries. - Aidan Z. H. Yang; Ricardo Brancas; Pedro Esteves; Sofia Aparicio; João Pedro Nadkarni; Miguel Terra-Neves; Vasco Manquinho; Ruben Martins (CoRR, 2023)

SAT-Based Algorithms for Regular Graph Pattern Matching. - Miguel Terra-Neves; José Amaral; Alexandre Lemos; Rui Quintino; Pedro Resende; António Alegria (AAAI, 2024)

Towards Reliable SQL Synthesis: Fuzzing-Based Evaluation and Disambiguation. - Ricardo Brancas; Miguel Terra-Neves; Miguel Ventura; Vasco Manquinho; Ruben Martins (FASE, 2024)

BugOut: Automated Test Generation and Bug Detection for Low-Code. - Joana Coutinho; Alexandre Lemos; Miguel Terra-Neves; André Ribeiro; Vasco Manquinho; Rui Quintino; Bartlomiej Matejczyk (ICST, 2024)