Publications

Books

Book Chapters: 1

2018

- Inês Lynce and Vasco Manquinho and Ruben Carlos Gonçalves Martins, Parallel Maximum Satisfiability, chapter of Handbook of Parallel Constraint Reasoning, May. 2018, Springer [bibTex]

Articles

International Journal Articles: 2

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]

2018

- Pedro Varela and Inês Lynce and Vasco Manquinho and Claudine Chaouiya and Pedro T. Monteiro, Stable states of Boolean regulatory networks composed over hexagonal grids, article in Electronic Notes in Theoretical Computer Science vol. 335 pp. 113-130, Apr. 2018 [DOI Article link] [bibTex]

International Conferences: 7

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]
- 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

- Filipe Gouveia and Inês Lynce and Pedro T. Monteiro, Model Revision of Logical Regulatory Networks Using Logic-Based Tools, presented at Technical Communications of the 34th International Conference on Logic Programming, ICLP 2018, Jul. 2018 [bibTex]
- 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]

MSc Theses: 3

2018

- Magda Carolina Araújo Resende advised by Helena Galhardas and Inês Lynce, DeepSea: Web-based database, MSc Thesis at Instituto Superior Técnico, Univ. de Lisboa, Nov. 2018 [bibTex]
- Rubén Filipe Martins Marques advised by Vasco Manquinho and Inês Lynce, Algorithms for Leakage Detection System, MSc Thesis at IST, May. 2018 [bibTex]
- Amândio de Jesus Cordeiro Almada advised by Vasco Manquinho and Inês Lynce, Optimization algorithms in forest planning models, MSc Thesis, Apr. 2018 [bibTex]