Vasco Miguel Gomes Nunes Manquinho
AuthID: R-000-HE8
31
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)
32
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 CrossRef33
TÃTULO: Improving linear search algorithms with model-based approaches for MaxSAT solving Full Text
AUTORES: Ruben Martins; Vasco Manquinho; Inês Lynce ;
PUBLICAÇÃO: 2015, FONTE: J. Exp. Theor. Artif. Intell., VOLUME: 27, NÚMERO: 5
AUTORES: Ruben Martins; Vasco Manquinho; Inês Lynce ;
PUBLICAÇÃO: 2015, FONTE: J. Exp. Theor. Artif. Intell., VOLUME: 27, NÚMERO: 5
INDEXADO EM: Scopus 
DBLP
Scopus DBLP NO MEU: 
ORCID
ORCID34
TÃTULO: Deterministic Parallel MaxSAT Solving Full Text
AUTORES: Martins, R; Manquinho, V; Lynce, I ;
PUBLICAÇÃO: 2015, FONTE: INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS, VOLUME: 24, NÚMERO: 3
AUTORES: Martins, R; Manquinho, V; Lynce, I ;
PUBLICAÇÃO: 2015, FONTE: INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS, VOLUME: 24, NÚMERO: 3
35
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
36
TÃTULO: Improving linear search algorithms with model-based approaches for MaxSAT solving Full Text
AUTORES: Ruben Martins; Vasco Manquinho; Inês Lynce ;
PUBLICAÇÃO: 2015, FONTE: Journal of Experimental & Theoretical Artificial Intelligence, VOLUME: 27, NÚMERO: 5
AUTORES: Ruben Martins; Vasco Manquinho; Inês Lynce ;
PUBLICAÇÃO: 2015, FONTE: Journal of Experimental & Theoretical Artificial Intelligence, VOLUME: 27, NÚMERO: 5
37
TÃTULO: Exploiting Resolution-Based Representations for MaxSAT Solving
AUTORES: Neves, M; Martins, R; Janota, M; Lynce, I ; Manquinho, V;
PUBLICAÇÃO: 2015, FONTE: 18th International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2015, VOLUME: 9340
AUTORES: Neves, M; Martins, R; Janota, M; Lynce, I ; Manquinho, V;
PUBLICAÇÃO: 2015, FONTE: 18th International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2015, VOLUME: 9340
38
TÃTULO: Inferring phylogenetic trees using pseudo-Boolean optimization Full Text
AUTORES: Miranda, M; Lynce, I ; Manquinho, V;
PUBLICAÇÃO: 2014, FONTE: AI COMMUNICATIONS, VOLUME: 27, NÚMERO: 3
AUTORES: Miranda, M; Lynce, I ; Manquinho, V;
PUBLICAÇÃO: 2014, FONTE: AI COMMUNICATIONS, VOLUME: 27, NÚMERO: 3
39
TÃTULO: Open-WBO: A Modular MaxSAT Solver,
AUTORES: Ruben Martins; Vasco Manquinho; Inês Lynce ;
PUBLICAÇÃO: 2014, FONTE: 17th International Conference on Theory and Applications of Satisfiability Testing, SAT 2014, Held as Part of the Vienna Summer of Logic, VSL 2014 in Theory and Applications of Satisfiability Testing - SAT 2014 - 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings, VOLUME: 8561
AUTORES: Ruben Martins; Vasco Manquinho; Inês Lynce ;
PUBLICAÇÃO: 2014, FONTE: 17th International Conference on Theory and Applications of Satisfiability Testing, SAT 2014, Held as Part of the Vienna Summer of Logic, VSL 2014 in Theory and Applications of Satisfiability Testing - SAT 2014 - 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings, VOLUME: 8561
40
TÃTULO: Efficient Autarkies
AUTORES: Marques Silva, J ; Ignatiev, A; Morgado, António ; Manquinho, V; Lynce, I ;
PUBLICAÇÃO: 2014, FONTE: 21st European Conference on Artificial Intelligence (ECAI) in 21ST EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2014), VOLUME: 263
AUTORES: Marques Silva, J ; Ignatiev, A; Morgado, António ; Manquinho, V; Lynce, I ;
PUBLICAÇÃO: 2014, FONTE: 21st European Conference on Artificial Intelligence (ECAI) in 21ST EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2014), VOLUME: 263
INDEXADO EM: Scopus 
WOS DBLP
Scopus WOS DBLP NO MEU: ORCID
ORCID