1
TÍTULO: Slide&Drill, a New Approach for Multi-Objective Combinatorial Optimization  Full Text
AUTORES: João Cortes; Inês Lynce; Vasco Manquinho;
PUBLICAÇÃO: 2024, FONTE: 30th International Conference on Principles and Practice of Constraint Programming, CP 2024 in 30th International Conference on Principles and Practice of Constraint Programming, CP 2024, September 2-6, 2024, Girona, Spain, VOLUME: 307
INDEXADO EM: Scopus DBLP
2
TÍTULO: What roles can democracy labs play in co-creating democratic innovations for sustainability?
AUTORES: Inês Campos; Doris Fuchs; Petteri Repo; Wander Jager; Christian Klöckner; Shaoni Wang; David Lamas; Francesc Cots; Eugenio Barchiesi; Erica Löfström; Daniel Peniche; Yulia Sion; Vanessa Buth; João Limão; Sandra Oliveira; Claudia Reyes Diaz; Lidija Živčič;
PUBLICAÇÃO: 2024, FONTE: Socio-Ecological Practice Research
INDEXADO EM: Scopus
3
TÍTULO: Integrating Pseudo-Boolean Constraint Reasoning in Multi-Objective Evolutionary Algorithms
AUTORES: Terra Neves, M; Lynce, I; Manquinho, V;
PUBLICAÇÃO: 2019, FONTE: 28th International Joint Conference on Artificial Intelligence, IJCAI 2019 in PROCEEDINGS OF THE TWENTY-EIGHTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 2019-August
INDEXADO EM: Scopus WOS DBLP
4
TÍTULO: Concurrency Debugging with MaxSMT
AUTORES: Miguel Terra-Neves; Nuno Machado; Ines Lynce; Vasco Manquinho;
PUBLICAÇÃO: 2019, FONTE: Proceedings of the AAAI Conference on Artificial Intelligence, VOLUME: 33, NÚMERO: 01
INDEXADO EM: CrossRef: 3
5
TÍTULO: Integrating Pseudo-Boolean Constraint Reasoning in Multi-Objective Evolutionary Algorithms
AUTORES: Miguel Terra-Neves; Inês Lynce; Vasco Manquinho;
PUBLICAÇÃO: 2019, FONTE: Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence
INDEXADO EM: CrossRef: 1
6
TÍTULO: Parallel Maximum Satisfiability
AUTORES: Inês Lynce; Vasco Manquinho; Ruben Martins;
PUBLICAÇÃO: 2018, FONTE: Handbook of Parallel Constraint Reasoning.
INDEXADO EM: Scopus DBLP
7
TÍTULO: Stratification for Constraint-Based Multi-Objective Combinatorial Optimization
AUTORES: Terra Neves, M; Lynce, I; Manquinho, V;
PUBLICAÇÃO: 2018, FONTE: 27th International Joint Conference on Artificial Intelligence, IJCAI 2018 in PROCEEDINGS OF THE TWENTY-SEVENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 2018-July
INDEXADO EM: Scopus WOS DBLP
8
TÍTULO: Multi-Objective Optimization Through Pareto Minimal Correction Subsets
AUTORES: Terra Neves, M; Lynce, I; Manquinho, V;
PUBLICAÇÃO: 2018, FONTE: 27th International Joint Conference on Artificial Intelligence, IJCAI 2018 in PROCEEDINGS OF THE TWENTY-SEVENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 2018-July
INDEXADO EM: Scopus WOS DBLP
9
TÍTULO: Stratification for Constraint-Based Multi-Objective Combinatorial Optimization
AUTORES: Miguel Terra-Neves; Inês Lynce; Vasco Manquinho;
PUBLICAÇÃO: 2018, FONTE: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence
INDEXADO EM: CrossRef: 2
10
TÍTULO: Multi-Objective Optimization Through Pareto Minimal Correction Subsets
AUTORES: Miguel Terra-Neves; Inês Lynce; Vasco Manquinho;
PUBLICAÇÃO: 2018, FONTE: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence
INDEXADO EM: CrossRef: 2