Vasco Miguel Gomes Nunes Manquinho
AuthID: R-000-HE8
31
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
AUTORES: Miguel Terra-Neves; Inês Lynce; Vasco Manquinho;
PUBLICAÇÃO: 2018, FONTE: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence
32
TÃTULO: Introducing pareto minimal correction subsets
AUTORES: Terra Neves, M; Lynce, I; Manquinho, V;
PUBLICAÇÃO: 2017, FONTE: 20th International Conference on Theory and Applications of Satisfiability Testing, SAT 2017 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10491 LNCS
AUTORES: Terra Neves, M; Lynce, I; Manquinho, V;
PUBLICAÇÃO: 2017, FONTE: 20th International Conference on Theory and Applications of Satisfiability Testing, SAT 2017 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10491 LNCS
33
TÃTULO: Logic-Based Encodings for Ricochet Robots
AUTORES: Gouveia, F ; Monteiro, PT; Manquinho, V; Lynce, I;
PUBLICAÇÃO: 2017, FONTE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423
AUTORES: Gouveia, F ; Monteiro, PT; Manquinho, V; Lynce, I;
PUBLICAÇÃO: 2017, FONTE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423
34
TÃTULO: Challenging metastatic breast cancer with the natural defensin PvD(1) Full Text
AUTORES: Figueira, TN; Oliveira, FD; Almeida, I; Mello, EO; Gomes, VM; Castanho, MARB ; Gaspar, D;
PUBLICAÇÃO: 2017, FONTE: NANOSCALE, VOLUME: 9, NÚMERO: 43
AUTORES: Figueira, TN; Oliveira, FD; Almeida, I; Mello, EO; Gomes, VM; Castanho, MARB ; Gaspar, D;
PUBLICAÇÃO: 2017, FONTE: NANOSCALE, VOLUME: 9, NÚMERO: 43
35
TÃTULO: On Incremental Core-Guided MaxSAT Solving
AUTORES: Xujie J Si; Xin Zhang; Vasco Manquinho; Mikolas Janota; Alexey Ignatiev; Mayur Naik;
PUBLICAÇÃO: 2016, FONTE: 22nd International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2016, VOLUME: 9892
AUTORES: Xujie J Si; Xin Zhang; Vasco Manquinho; Mikolas Janota; Alexey Ignatiev; Mayur Naik;
PUBLICAÇÃO: 2016, FONTE: 22nd International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2016, VOLUME: 9892
36
TÃTULO: Non-Portfolio Approaches for Distributed Maximum Satisfiability
AUTORES: Miguel Terra-Neves; Ines Lynce; Vasco Manquinho;
PUBLICAÇÃO: 2016, FONTE: 2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI)
AUTORES: Miguel Terra-Neves; Ines Lynce; Vasco Manquinho;
PUBLICAÇÃO: 2016, FONTE: 2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI)
37
TÃTULO: Determination of sugar content in whole Port Wine grape berries combining hyperspectral imaging with neural networks methodologies
AUTORES: Gomes, VM; Fernandes, AM; Faia, A; Melo Pinto, P ;
PUBLICAÇÃO: 2015, FONTE: 2014 IEEE Symposium on Computational Intelligence for Engineering Solutions, CIES 2014 in IEEE SSCI 2014 - 2014 IEEE Symposium Series on Computational Intelligence - CIES 2014: 2014 IEEE Symposium on Computational Intelligence for Engineering Solutions, Proceedings
AUTORES: Gomes, VM; Fernandes, AM; Faia, A; Melo Pinto, P ;
PUBLICAÇÃO: 2015, FONTE: 2014 IEEE Symposium on Computational Intelligence for Engineering Solutions, CIES 2014 in IEEE SSCI 2014 - 2014 IEEE Symposium Series on Computational Intelligence - CIES 2014: 2014 IEEE Symposium on Computational Intelligence for Engineering Solutions, Proceedings
INDEXADO EM: 
Scopus 
CrossRef
Scopus CrossRef38
TÃTULO: Improving linear search algorithms with model-based approaches for MaxSAT solving
AUTORES: Martins, R; Manquinho, V; Lynce, I;
PUBLICAÇÃO: 2015, FONTE: Journal of Experimental and Theoretical Artificial Intelligence
AUTORES: Martins, R; Manquinho, V; Lynce, I;
PUBLICAÇÃO: 2015, FONTE: Journal of Experimental and Theoretical Artificial Intelligence
INDEXADO EM: Scopus
Scopus NO MEU: 
ORCID
ORCID39
TÃTULO: Deterministic Parallel MaxSAT Solving
AUTORES: Ruben Martins; Vasco Manquinho; Ines Lynce;
PUBLICAÇÃO: 2015, FONTE: INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS, VOLUME: 24, NÚMERO: 3
AUTORES: Ruben Martins; Vasco Manquinho; Ines Lynce;
PUBLICAÇÃO: 2015, FONTE: INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS, VOLUME: 24, NÚMERO: 3
40
TÃTULO: Generalized Totalizer Encoding for Pseudo-Boolean Constraints
AUTORES: Saurabh Joshi; Ruben Martins; Vasco Manquinho;
PUBLICAÇÃO: 2015, FONTE: 21st International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2015, VOLUME: 9255
AUTORES: Saurabh Joshi; Ruben Martins; Vasco Manquinho;
PUBLICAÇÃO: 2015, FONTE: 21st International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2015, VOLUME: 9255
