Vasco Miguel Gomes Nunes Manquinho


AuthID: R-000-HE8

Publicações Confirmadas: 64



41
TÍTULO: On Partitioning for Maximum Satisfiability
AUTORES: Martins, R; Manquinho, V ; Lynce, I ;
PUBLICAÇÃO: 2012, FONTE: 20th European Conference on Artificial Intelligence (ECAI) in 20TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2012), VOLUME: 242
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
42
TÍTULO: Parallel search for maximum satisfiability  Full Text
AUTORES: Martins, R; Manquinho, V ; Lynce, I ;
PUBLICAÇÃO: 2012, FONTE: AI COMMUNICATIONS, VOLUME: 25, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 11
NO MEU: ORCID | CIÊNCIAVITAE
43
TÍTULO: Exploiting Cardinality Encodings in Parallel Maximum Satisfiability
AUTORES: Martins, R; Manquinho, V ; Lynce, I ;
PUBLICAÇÃO: 2011, FONTE: 23rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI) in 2011 23RD IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2011)
INDEXADO EM: Scopus WOS DBLP CrossRef: 10
NO MEU: ORCID | CIÊNCIAVITAE
44
TÍTULO: Computing the Summed Adjacency Disruption Number between Two Genomes with Duplicate Genes
AUTORES: Delgado, J; Lynce, I ; Manquinho, V ;
PUBLICAÇÃO: 2010, FONTE: JOURNAL OF COMPUTATIONAL BIOLOGY, VOLUME: 17, NÚMERO: 9
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID | CIÊNCIAVITAE
45
TÍTULO: DFT and Minimum Leakage Pattern Generation for Static Power Reduction During Test and Burn-In  Full Text
AUTORES: Wei Chung Kao; Wei Shun Chuang; Hsiu Ting Lin; James Chien Mo Li; Vasco Manquinho ;
PUBLICAÇÃO: 2010, FONTE: IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, VOLUME: 18, NÚMERO: 3
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
46
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
NO MEU: ORCID | CIÊNCIAVITAE
47
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: 9
NO MEU: ORCID | CIÊNCIAVITAE
48
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
49
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
NO MEU: ORCID | CIÊNCIAVITAE
50
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
Página 5 de 7. Total de resultados: 64.

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

Links Úteis

Ajuda

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