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: 1

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: 3

2018

- Miguel Neves and Inês Lynce and Vasco Manquinho, Enhancing Constraint-Based Multi-Objective Combinatorial Optimization, presented at AAAI Conference on Artificial Intelligence, Feb. 2018 [bibTex]

2017

- Filipe Gouveia and Pedro T. Monteiro and Vasco Manquinho and Inês Lynce, Logic-Based Encodings for Ricochet Robots, presented at EPIA Conference on Artificial Intelligence (EPIA'17), Sep. 2017 [DOI Article link] [bibTex]
- Miguel Neves and Inês Lynce and Vasco Manquinho, Introducing Pareto Minimal Correction Subsets, presented at International Conference on Theory and Applications of Satisfiability Testing (SAT), Aug. 2017 [DOI Article link] [bibTex]

Dissertations

MSc Theses: 5

2018

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

2017

- José Francisco Pires Amaral advised by Vasco Manquinho, Algorithms for Markov Logic Networks, MSc Thesis, Nov. 2017 [bibTex]
- João Pedro Mateus Alexandre advised by Vasco Manquinho, Automatic generation of test cases for MOOCs, MSc Thesis at IST - Universidade de Lisboa, Jul. 2017 [bibTex]
- André Filipe Ribeiro dos Reis advised by Vasco Manquinho and Luis Guerra e Silva, Algorithms for Maximum Satisfiability using GPU, MSc Thesis, Jun. 2017 [bibTex]