Miguel Terra-Neves
Miguel Terra-Neves
Research Scientist, OutSystems
Verified email at outsystems.com
Title
Cited by
Cited by
Year
Exploiting resolution-based representations for MaxSAT solving
M Neves, R Martins, M Janota, I Lynce, V Manquinho
International Conference on Theory and Applications of Satisfiability …, 2015
192015
Introducing Pareto minimal correction subsets
M Terra-Neves, I Lynce, V Manquinho
International Conference on Theory and Applications of Satisfiability …, 2017
112017
Virtual machine consolidation using constraint-based multi-objective optimization
M Terra-Neves, I Lynce, V Manquinho
Journal of Heuristics 25 (3), 339-375, 2019
92019
Encodings for enumeration-based program synthesis
P Orvalho, M Terra-Neves, M Ventura, R Martins, V Manquinho
International Conference on Principles and Practice of Constraint …, 2019
42019
Constraint-based techniques in stochastic local search maxsat solving
AP Guerreiro, M Terra-Neves, I Lynce, JR Figueira, V Manquinho
International Conference on Principles and Practice of Constraint …, 2019
42019
Stratification for Constraint-Based Multi-Objective Combinatorial Optimization.
M Terra-Neves, I Lynce, VM Manquinho
IJCAI, 1376-1382, 2018
42018
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
32019
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
32018
Non-Portfolio Approaches for Distributed Maximum Satisfiability
M Terra-Neves, I Lynce, V Manquinho
2016 IEEE 28th International Conference on Tools with Artificial …, 2016
2*2016
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
12020
sls-mcs and sls-lsu: Description
AP Guerreiro, M Terra-Neves, I Lynce, JR Figueira, V Manquinho
MaxSAT Evaluation 2019, 27, 2019
12019
Integrating Pseudo-Boolean Constraint Reasoning in Multi-Objective Evolutionary Algorithms.
M Terra-Neves, I Lynce, VM Manquinho
IJCAI, 1184-1190, 2019
12019
Multi-Objective Optimization Through Pareto Minimal Correction Subsets.
M Terra-Neves, I Lynce, VM Manquinho
IJCAI, 5379-5383, 2018
12018
Open-wbo in maxsat evaluation 2017
R Martins, M Terra-Neves, S Joshi, M Janota, V Manquinho, I Lynce
MaxSAT Evaluation 2017, 17, 2017
12017
Duplicated Code Pattern Mining in Visual Programming Languages
M Terra-Neves, J Nadkarni, M Ventura, P Resende, H Veiga, A Alegria
arXiv preprint arXiv:2107.07212, 2021
2021
FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions
M Ferreira, M Terra-Neves, M Ventura, I Lynce, R Martins
arXiv preprint arXiv:2012.14235, 2020
2020
Maximum Common Sub-Graph Extraction
M Terra-Neves, M Ventura
MaxSAT Evaluation 2019, 44, 0
Open-WBO@ MaxSAT 2018
R Martins, N Manthey, M Terra-Neves, V Manquinho, I Lynce
MaxSAT Evaluation 2018, 18, 0
The system can't perform the operation now. Try again later.
Articles 1–18