Miguel Terra-Neves
Miguel Terra-Neves
PhD Student, INESC-ID/IST, University of Lisbon
Verified email at sat.inesc-id.pt
TitleCited byYear
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
152015
Introducing Pareto minimal correction subsets
M Terra-Neves, I Lynce, V Manquinho
International Conference on Theory and Applications of Satisfiability …, 2017
82017
Virtual machine consolidation using constraint-based multi-objective optimization
M Terra-Neves, I Lynce, V Manquinho
Journal of Heuristics 25 (3), 339-375, 2019
12019
Stratification for Constraint-Based Multi-Objective Combinatorial Optimization.
M Terra-Neves, I Lynce, VM Manquinho
IJCAI, 1376-1382, 2018
12018
Enhancing Constraint-Based Multi-Objective Combinatorial Optimization
M Terra-Neves, I Lynce, V Manquinho
Thirty-Second AAAI Conference on Artificial Intelligence, 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
Non-Portfolio Approaches for Distributed Maximum Satisfiability
M Terra-Neves, I Lynce, V Manquinho
2016 IEEE 28th International Conference on Tools with Artificial …, 2016
1*2016
Concurrency Debugging with MaxSMT
M Terra-Neves, N Machado, I Lynce, V Manquinho
Proceedings of the AAAI Conference on Artificial Intelligence 33, 1608-1616, 2019
2019
Multi-Objective Optimization Through Pareto Minimal Correction Subsets.
M Terra-Neves, I Lynce, VM Manquinho
IJCAI, 5379-5383, 2018
2018
Distributed Solver for Maximum Satisfiability
MÂ da Terra Neves
2014
Integrating Pseudo-Boolean Constraint Reasoning in Multi-Objective Evolutionary Algorithms
M Terra-Neves, I Lynce, V Manquinho
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–12