| SQUARES: a SQL synthesizer using query reverse engineering P Orvalho, M Terra-Neves, M Ventura, R Martins, V Manquinho Proceedings of the VLDB Endowment 13 (12), 2853-2856, 2020 | 28 | 2020 |
| Exploiting resolution-based representations for MaxSAT solving M Neves, R Martins, M Janota, I Lynce, V Manquinho Theory and Applications of Satisfiability Testing--SAT 2015: 18th …, 2015 | 26 | 2015 |
| Introducing Pareto minimal correction subsets M Terra-Neves, I Lynce, V Manquinho Theory and Applications of Satisfiability Testing–SAT 2017: 20th …, 2017 | 22 | 2017 |
| Encodings for enumeration-based program synthesis P Orvalho, M Terra-Neves, M Ventura, R Martins, V Manquinho Principles and Practice of Constraint Programming: 25th International …, 2019 | 19 | 2019 |
| Virtual machine consolidation using constraint-based multi-objective optimization M Terra-Neves, I Lynce, V Manquinho Journal of Heuristics 25, 339-375, 2019 | 14 | 2019 |
| FOREST: an interactive multi-tree synthesizer for regular expressions M Ferreira, M Terra-Neves, M Ventura, I Lynce, R Martins International Conference on Tools and Algorithms for the Construction and …, 2021 | 12 | 2021 |
| Stratification for Constraint-Based Multi-Objective Combinatorial Optimization. M Terra-Neves, I Lynce, VM Manquinho IJCAI, 1376-1382, 2018 | 11 | 2018 |
| Constraint-based techniques in stochastic local search MaxSAT solving AP Guerreiro, M Terra-Neves, I Lynce, JR Figueira, V Manquinho Principles and Practice of Constraint Programming: 25th International …, 2019 | 9 | 2019 |
| Enhancing constraint-based multi-objective combinatorial optimization M Terra-Neves, I Lynce, V Manquinho Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018 | 9 | 2018 |
| Concurrency debugging with MaxSMT M Terra-Neves, N Machado, I Lynce, V Manquinho Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 1608-1616, 2019 | 8 | 2019 |
| Open-wbo@ maxsat evaluation 2020 R Martins, N Manthey, M Terra-Neves, V Manquinho, I Lynce MaxSAT Evaluation 2020, 24, 2021 | 7 | 2021 |
| Multi-Objective Optimization Through Pareto Minimal Correction Subsets. M Terra-Neves, I Lynce, VM Manquinho IJCAI, 5379-5383, 2018 | 7 | 2018 |
| CUBES: a parallel synthesizer for SQL using examples R Brancas, M Terra-Neves, M Ventura, V Manquinho, R Martins arXiv preprint arXiv:2203.04995, 2022 | 4 | 2022 |
| Duplicated code pattern mining in visual programming languages M Terra-Neves, J Nadkarni, M Ventura, P Resende, H Veiga, A Alegria Proceedings of the 29th ACM Joint Meeting on European Software Engineering …, 2021 | 4 | 2021 |
| Automated Refactoring of Unbounded Queries in Software Automation Platforms IP Fernandes, M Terra-Neves, JC Seco 2021 ACM/IEEE International Conference on Model Driven Engineering Languages …, 2021 | 3 | 2021 |
| Open-wbo in maxsat evaluation 2017 R Martins, M Terra-Neves, S Joshi, M Janota, V Manquinho, I Lynce MaxSAT Evaluation 2017, 17, 2017 | 3 | 2017 |
| Non-Portfolio Approaches for Distributed Maximum Satisfiability M Terra-Neves, I Lynce, V Manquinho 2016 IEEE 28th International Conference on Tools with Artificial …, 2016 | 3* | 2016 |
| Towards Reliable SQL Synthesis: Fuzzing-Based Evaluation and Disambiguation R Brancas, M Terra-Neves, M Ventura, V Manquinho, R Martins International Conference on Fundamental Approaches to Software Engineering …, 2024 | 2 | 2024 |
| sls-mcs and sls-lsu: Description AP Guerreiro, M Terra-Neves, I Lynce, JR Figueira, V Manquinho MaxSAT Evaluation 2020, 28, 2020 | 2 | 2020 |
| Integrating Pseudo-Boolean Constraint Reasoning in Multi-Objective Evolutionary Algorithms. M Terra-Neves, I Lynce, VM Manquinho IJCAI, 1184-1190, 2019 | 2 | 2019 |
Vasco ManquinhoINESC-ID, Instituto Superior Técnico - Universidade de LisboaVerified email at inesc-id.pt
