Publications

Articles

International Journal Articles: 1

2019

- Miguel Neves and Inês Lynce and Vasco Manquinho, Virtual machine consolidation using constraint-based multi-objective optimization, article in Journal of Heuristics vol. 25 (3) pp. 339-375, Jun. 2019 [DOI Article link] [bibTex]

International Conferences: 8

2020

- Pedro Miguel Orvalho Marques da Silva and Miguel Neves and Miguel Ventura and Ruben Carlos Gonçalves Martins and Vasco Manquinho, SQUARES : A SQL Synthesizer Using Query Reverse Engineering, presented at International Conference on Very Large Databases, Jul. 2020 [bibTex]

2019

- Andreia Guerreiro and Miguel Neves and Inês Lynce and José Rui Figueira and Vasco Manquinho, Constraint-Based Techniques in Stochastic Local Search MaxSAT Solving, presented at 25th International Conference Principles and Practice of Constraint Programming, CP 2019, Oct. 2019 [DOI Article link] [bibTex]
- Pedro Miguel Orvalho Marques da Silva and Miguel Neves and Miguel Ventura and Ruben Carlos Gonçalves Martins and Vasco Manquinho, Encodings for Enumeration-Based Program Synthesis, presented at 25th International Conference on Principles and Practice of Constraint Programming, CP 2019, Oct. 2019 [DOI Article link] [bibTex]
- Miguel Neves and Inês Lynce and Vasco Manquinho, Integrating Constraint Reasoning in Multi-Objective Evolutionary Algorithms, presented at 28th International Joint Conference on Artificial Intelligence, IJCAI 2019, May. 2019 [bibTex]
- Miguel Neves and Nuno Machado and Inês Lynce and Vasco Manquinho, Concurrency Debugging with MaxSMT, presented at Thirty-Third AAAI Conference on Artificial Intelligence, AAAI 19, Jan. 2019 [bibTex]

2018

- Miguel Neves and Inês Lynce and Vasco Manquinho, Multi-Objective Optimization Through Pareto Minimal Correction Subsets, presented at Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, Jul. 2018 [bibTex]
- Miguel Neves and Inês Lynce and Vasco Manquinho, Stratification for Constraint-Based Multi-Objective Combinatorial Optimization, presented at Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, Jul. 2018 [bibTex]
- Miguel Neves and Inês Lynce and Vasco Manquinho, Enhancing Constraint-Based Multi-Objective Combinatorial Optimization, presented at AAAI Conference on Artificial Intelligence, AAAI 18, Feb. 2018 [bibTex]

Dissertations

PhD Theses: 1

2019

- Miguel Neves advised by Vasco Manquinho and Inês Lynce, Constraint-Based Multi-Objective Combinatorial Optimization, PhD Thesis at IST - Universidade de Lisboa, Jun. 2019 [bibTex]