Vasco Miguel Gomes Nunes Manquinho


AuthID: R-000-HE8

Publicações Confirmadas: 69



31
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
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
32
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)
INDEXADO EM: CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
33
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
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
34
TÍTULO: Deterministic Parallel MaxSAT Solving
AUTORES: Martins, R; Manquinho, V ; Lynce, I ;
PUBLICAÇÃO: 2015, FONTE: INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS, VOLUME: 24, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
35
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
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
36
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
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
37
TÍTULO: Improving linear search algorithms with model-based approaches for MaxSAT solving
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 CrossRef
38
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
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
39
TÍTULO: Incremental Cardinality Constraints for MaxSAT
AUTORES: Ruben Martins; Saurabh Joshi; Vasco Manquinho ; Inês Lynce ;
PUBLICAÇÃO: 2014, FONTE: CP, VOLUME: 8656 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 44
40
TÍTULO: Inferring phylogenetic trees using pseudo-Boolean optimization
AUTORES: Miranda, M; Lynce, I ; Manquinho, V ;
PUBLICAÇÃO: 2014, FONTE: AI COMMUNICATIONS, VOLUME: 27, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
Página 4 de 7. Total de resultados: 69.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service