Maria Ines Camarate de Campos Lynce de Faria
AuthID: R-000-BN4
1
TITLE: Slide&Drill, a New Approach for Multi-Objective Combinatorial Optimization Full Text
AUTHORS: João Cortes; Inês Lynce; Vasco Manquinho;
PUBLISHED: 2024, SOURCE: 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
AUTHORS: João Cortes; Inês Lynce; Vasco Manquinho;
PUBLISHED: 2024, SOURCE: 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
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP2
TITLE: What roles can democracy labs play in co-creating democratic innovations for sustainability?
AUTHORS: 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č;
PUBLISHED: 2024, SOURCE: Socio-Ecological Practice Research
AUTHORS: 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č;
PUBLISHED: 2024, SOURCE: Socio-Ecological Practice Research
INDEXED IN: Scopus
Scopus3
TITLE: Integrating Pseudo-Boolean Constraint Reasoning in Multi-Objective Evolutionary Algorithms
AUTHORS: Terra Neves, M; Lynce, I; Manquinho, V;
PUBLISHED: 2019, SOURCE: 28th International Joint Conference on Artificial Intelligence, IJCAI 2019 in PROCEEDINGS OF THE TWENTY-EIGHTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 2019-August
AUTHORS: Terra Neves, M; Lynce, I; Manquinho, V;
PUBLISHED: 2019, SOURCE: 28th International Joint Conference on Artificial Intelligence, IJCAI 2019 in PROCEEDINGS OF THE TWENTY-EIGHTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 2019-August
INDEXED IN: Scopus 
WOS DBLP
Scopus WOS DBLP4
TITLE: Concurrency Debugging with MaxSMT
AUTHORS: Miguel Terra-Neves; Nuno Machado; Ines Lynce; Vasco Manquinho;
PUBLISHED: 2019, SOURCE: Proceedings of the AAAI Conference on Artificial Intelligence, VOLUME: 33, ISSUE: 01
AUTHORS: Miguel Terra-Neves; Nuno Machado; Ines Lynce; Vasco Manquinho;
PUBLISHED: 2019, SOURCE: Proceedings of the AAAI Conference on Artificial Intelligence, VOLUME: 33, ISSUE: 01
IN MY: 
CIÊNCIAVITAE
CIÊNCIAVITAE5
TITLE: Integrating Pseudo-Boolean Constraint Reasoning in Multi-Objective Evolutionary Algorithms
AUTHORS: Miguel Terra-Neves; Inês Lynce; Vasco Manquinho;
PUBLISHED: 2019, SOURCE: Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence
AUTHORS: Miguel Terra-Neves; Inês Lynce; Vasco Manquinho;
PUBLISHED: 2019, SOURCE: Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence
IN MY: CIÊNCIAVITAE
CIÊNCIAVITAE6
TITLE: Parallel Maximum Satisfiability
AUTHORS: Inês Lynce; Vasco Manquinho; Ruben Martins;
PUBLISHED: 2018, SOURCE: Handbook of Parallel Constraint Reasoning.
AUTHORS: Inês Lynce; Vasco Manquinho; Ruben Martins;
PUBLISHED: 2018, SOURCE: Handbook of Parallel Constraint Reasoning.
INDEXED IN: Scopus DBLP
Scopus DBLP7
TITLE: Stratification for Constraint-Based Multi-Objective Combinatorial Optimization
AUTHORS: Terra Neves, M; Lynce, I; Manquinho, V;
PUBLISHED: 2018, SOURCE: 27th International Joint Conference on Artificial Intelligence, IJCAI 2018 in PROCEEDINGS OF THE TWENTY-SEVENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 2018-July
AUTHORS: Terra Neves, M; Lynce, I; Manquinho, V;
PUBLISHED: 2018, SOURCE: 27th International Joint Conference on Artificial Intelligence, IJCAI 2018 in PROCEEDINGS OF THE TWENTY-SEVENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 2018-July
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP8
TITLE: Multi-Objective Optimization Through Pareto Minimal Correction Subsets
AUTHORS: Terra Neves, M; Lynce, I; Manquinho, V;
PUBLISHED: 2018, SOURCE: 27th International Joint Conference on Artificial Intelligence, IJCAI 2018 in PROCEEDINGS OF THE TWENTY-SEVENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 2018-July
AUTHORS: Terra Neves, M; Lynce, I; Manquinho, V;
PUBLISHED: 2018, SOURCE: 27th International Joint Conference on Artificial Intelligence, IJCAI 2018 in PROCEEDINGS OF THE TWENTY-SEVENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 2018-July
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP9
TITLE: Stratification for Constraint-Based Multi-Objective Combinatorial Optimization
AUTHORS: Miguel Terra-Neves; Inês Lynce; Vasco Manquinho;
PUBLISHED: 2018, SOURCE: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence
AUTHORS: Miguel Terra-Neves; Inês Lynce; Vasco Manquinho;
PUBLISHED: 2018, SOURCE: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence
IN MY: CIÊNCIAVITAE
CIÊNCIAVITAE10
TITLE: Multi-Objective Optimization Through Pareto Minimal Correction Subsets
AUTHORS: Miguel Terra-Neves; Inês Lynce; Vasco Manquinho;
PUBLISHED: 2018, SOURCE: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence
AUTHORS: Miguel Terra-Neves; Inês Lynce; Vasco Manquinho;
PUBLISHED: 2018, SOURCE: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence
IN MY: CIÊNCIAVITAE
CIÊNCIAVITAE