Vasco Miguel Gomes Nunes Manquinho
AuthID: R-000-HE8
31
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
32
TITLE: Introducing pareto minimal correction subsets
AUTHORS: Terra Neves, M; Lynce, I; Manquinho, V;
PUBLISHED: 2017, SOURCE: 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
AUTHORS: Terra Neves, M; Lynce, I; Manquinho, V;
PUBLISHED: 2017, SOURCE: 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
TITLE: Logic-Based Encodings for Ricochet Robots
AUTHORS: Gouveia, F ; Monteiro, PT; Manquinho, V; Lynce, I;
PUBLISHED: 2017, SOURCE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423
AUTHORS: Gouveia, F ; Monteiro, PT; Manquinho, V; Lynce, I;
PUBLISHED: 2017, SOURCE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423
34
TITLE: Challenging metastatic breast cancer with the natural defensin PvD(1) Full Text
AUTHORS: Figueira, TN; Oliveira, FD; Almeida, I; Mello, EO; Gomes, VM; Castanho, MARB ; Gaspar, D;
PUBLISHED: 2017, SOURCE: NANOSCALE, VOLUME: 9, ISSUE: 43
AUTHORS: Figueira, TN; Oliveira, FD; Almeida, I; Mello, EO; Gomes, VM; Castanho, MARB ; Gaspar, D;
PUBLISHED: 2017, SOURCE: NANOSCALE, VOLUME: 9, ISSUE: 43
35
TITLE: On Incremental Core-Guided MaxSAT Solving
AUTHORS: Xujie J Si; Xin Zhang; Vasco Manquinho; Mikolas Janota; Alexey Ignatiev; Mayur Naik;
PUBLISHED: 2016, SOURCE: 22nd International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2016, VOLUME: 9892
AUTHORS: Xujie J Si; Xin Zhang; Vasco Manquinho; Mikolas Janota; Alexey Ignatiev; Mayur Naik;
PUBLISHED: 2016, SOURCE: 22nd International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2016, VOLUME: 9892
36
TITLE: Non-Portfolio Approaches for Distributed Maximum Satisfiability
AUTHORS: Miguel Terra-Neves; Ines Lynce; Vasco Manquinho;
PUBLISHED: 2016, SOURCE: 2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI)
AUTHORS: Miguel Terra-Neves; Ines Lynce; Vasco Manquinho;
PUBLISHED: 2016, SOURCE: 2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI)
37
TITLE: Determination of sugar content in whole Port Wine grape berries combining hyperspectral imaging with neural networks methodologies
AUTHORS: Gomes, VM; Fernandes, AM; Faia, A; Melo Pinto, P ;
PUBLISHED: 2015, SOURCE: 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
AUTHORS: Gomes, VM; Fernandes, AM; Faia, A; Melo Pinto, P ;
PUBLISHED: 2015, SOURCE: 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
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef38
TITLE: Improving linear search algorithms with model-based approaches for MaxSAT solving
AUTHORS: Martins, R; Manquinho, V; Lynce, I;
PUBLISHED: 2015, SOURCE: Journal of Experimental and Theoretical Artificial Intelligence
AUTHORS: Martins, R; Manquinho, V; Lynce, I;
PUBLISHED: 2015, SOURCE: Journal of Experimental and Theoretical Artificial Intelligence
INDEXED IN: Scopus
Scopus IN MY: 
ORCID
ORCID39
TITLE: Deterministic Parallel MaxSAT Solving
AUTHORS: Ruben Martins; Vasco Manquinho; Ines Lynce;
PUBLISHED: 2015, SOURCE: INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS, VOLUME: 24, ISSUE: 3
AUTHORS: Ruben Martins; Vasco Manquinho; Ines Lynce;
PUBLISHED: 2015, SOURCE: INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS, VOLUME: 24, ISSUE: 3
40
TITLE: Generalized Totalizer Encoding for Pseudo-Boolean Constraints
AUTHORS: Saurabh Joshi; Ruben Martins; Vasco Manquinho;
PUBLISHED: 2015, SOURCE: 21st International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2015, VOLUME: 9255
AUTHORS: Saurabh Joshi; Ruben Martins; Vasco Manquinho;
PUBLISHED: 2015, SOURCE: 21st International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2015, VOLUME: 9255
