Vasco Miguel Gomes Nunes Manquinho


AuthID: R-000-HE8

Publicações Confirmadas: 69



51
TÍTULO: Improving Search Space Splitting for Parallel SAT Solving
AUTORES: Martins, R; Manquinho, V ; Lynce, I ;
PUBLICAÇÃO: 2010, FONTE: 22nd International Conference on Tools with Artificial Intelligence in 22ND INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2010), PROCEEDINGS, VOL 1, VOLUME: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 10
52
TÍTULO: Improving Unsatisfiability-Based Algorithms for Boolean Optimization
AUTORES: Manquinho, V ; Martins, R; Lynce, I ;
PUBLICAÇÃO: 2010, FONTE: 13th International Conference on Theory and Applications of Satisfiability Testing in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2010, PROCEEDINGS, VOLUME: 6175
INDEXADO EM: Scopus WOS DBLP CrossRef: 12
53
TÍTULO: Algorithms for Weighted Boolean Optimization
AUTORES: Vasco M Manquinho ; João P Marques Silva ; Jordi Planes;
PUBLICAÇÃO: 2009, FONTE: 12th International Conference on Theory and Applications of Satisfiability Testing, SAT 2009 in Theory and Applications of Satisfiability Testing - SAT 2009, 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings, VOLUME: 5584
INDEXADO EM: Scopus DBLP CrossRef Unpaywall
NO MEU: ORCID | CIÊNCIAVITAE
54
TÍTULO: Computing the Summed Adjacency Disruption Number between Two Genomes with Duplicate Genes Using Pseudo-Boolean Optimization
AUTORES: Delgado, J; Lynce, I ; Manquinho, V ;
PUBLICAÇÃO: 2009, FONTE: 7th Annual RECOMB on Comparative Genomic in COMPARATIVE GENOMICS, PROCEEDINGS, VOLUME: 5817
INDEXADO EM: Scopus WOS DBLP CrossRef
55
TÍTULO: Pseudo-boolean and cardinality constraints
AUTORES: Roussel, O; Manquinho, V ;
PUBLICAÇÃO: 2009, FONTE: Frontiers in Artificial Intelligence and Applications, VOLUME: 185, NÚMERO: 1
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
56
TÍTULO: Backtracking
AUTORES: Inês Lynce ; Vasco Manquinho ; João Marques Silva ;
PUBLICAÇÃO: 2008, FONTE: Wiley Encyclopedia of Computer Science and Engineering
INDEXADO EM: DBLP CrossRef
57
TÍTULO: Learning techniques for pseudo-boolean solving
AUTORES: Santos, J; Manquinho, V ;
PUBLICAÇÃO: 2008, FONTE: LPAR 2008 Workshops on Knowledge Exchange: Automated Provers and Proof Assistants, KEAPPA 2008 and the 7th International Workshop on the Implementation of Logics, IWIL 2008 in CEUR Workshop Proceedings, VOLUME: 418
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
58
TÍTULO: On Applying Unit Propagation-Based Lower Bounds in Pseudo-Boolean Optimization
AUTORES: Federico Heras; Vasco M Manquinho ; João Marques Silva ;
PUBLICAÇÃO: 2008, FONTE: 21th International Florida Artificial Intelligence Research Society Conference, FLAIRS-21 in Proceedings of the Twenty-First International Florida Artificial Intelligence Research Society Conference, May 15-17, 2008, Coconut Grove, Florida, USA
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | CIÊNCIAVITAE
59
TÍTULO: Symmetry Breaking for Maximum Satisfiability PDF
AUTORES: Marques Silva, J ; Lynce, I ; Manquinho, V ;
PUBLICAÇÃO: 2008, FONTE: 15th International Conference on Logic for Programming Artificial Intelligence and Reasoning in LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, VOLUME: 5330
INDEXADO EM: Scopus WOS DBLP arXiv CrossRef: 3 Unpaywall
60
TÍTULO: Towards more effective unsatisfiability-based maximum satisfiability algorithms
AUTORES: Joao Marques Silva ; Vasco Manquinho ;
PUBLICAÇÃO: 2008, FONTE: 11th International Conference on Theory and Applications of Satisfiability Testing in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2008, PROCEEDINGS, VOLUME: 4996
INDEXADO EM: Scopus WOS DBLP CrossRef: 17
NO MEU: ORCID | CIÊNCIAVITAE
Página 6 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