Vasco Miguel Gomes Nunes Manquinho


AuthID: R-000-HE8

Publicações Confirmadas: 22



1
TÍTULO: Community-based partitioning for MaxSAT solving
AUTORES: Martins, R; Manquinho, V ; Lynce, I ;
PUBLICAÇÃO: 2013, FONTE: 16th International Conference on Theory and Applications of Satisfiability Testing, SAT 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7962 LNCS
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
2
TÍTULO: An overview of parallel SAT solving  Full Text
AUTORES: Ruben Martins; Vasco Manquinho ; Ines Lynce ;
PUBLICAÇÃO: 2012, FONTE: CONSTRAINTS, VOLUME: 17, NÚMERO: 3
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
3
TÍTULO: Clause sharing in parallel MaxSAT
AUTORES: Martins, R; Manquinho, V ; Lynce, I ;
PUBLICAÇÃO: 2012, FONTE: 6th International Conference on Learning and Intelligent Optimization, LION 6 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7219 LNCS
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
4
TÍTULO: On Partitioning for Maximum Satisfiability
AUTORES: Ruben Martins; Vasco Manquinho ; Ines Lynce ;
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
NO MEU: ORCID
5
TÍTULO: Parallel search for maximum satisfiability
AUTORES: Martins, R; Manquinho, V ; Lynce, I ;
PUBLICAÇÃO: 2012, FONTE: AI COMMUNICATIONS, VOLUME: 25, NÚMERO: 2
INDEXADO EM: Scopus WOS CrossRef: 11
NO MEU: ORCID
6
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
7
TÍTULO: Improving Search Space Splitting for Parallel SAT Solving
AUTORES: Ruben Martins; Vasco Manquinho ; Ines Lynce ;
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 CrossRef
NO MEU: ORCID
8
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 CrossRef
NO MEU: ORCID
9
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
10
TÍTULO: Computing the Summed Adjacency Disruption Number between Two Genomes with Duplicate Genes Using Pseudo-Boolean Optimization
AUTORES: Joao Delgado; Ines Lynce ; Vasco Manquinho ;
PUBLICAÇÃO: 2009, FONTE: 7th Annual RECOMB on Comparative Genomic in COMPARATIVE GENOMICS, PROCEEDINGS, VOLUME: 5817
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
Página 1 de 3. Total de resultados: 22.

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

Links Úteis

Ajuda

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