Vasco Miguel Gomes Nunes Manquinho
AuthID: R-000-HE8
51
TÃTULO: Computing the Summed Adjacency Disruption Number between Two Genomes with Duplicate Genes
AUTORES: Joao Delgado; Ines Lynce ; Vasco Manquinho;
PUBLICAÇÃO: 2010, FONTE: JOURNAL OF COMPUTATIONAL BIOLOGY, VOLUME: 17, NÚMERO: 9
AUTORES: Joao Delgado; Ines Lynce ; Vasco Manquinho;
PUBLICAÇÃO: 2010, FONTE: JOURNAL OF COMPUTATIONAL BIOLOGY, VOLUME: 17, NÚMERO: 9
52
TÃTULO: Optimally Solving the MCM Problem Using Pseudo-Boolean Satisfiability PDF
AUTORES: Nuno P Lopes ; Levent Aksoy; Vasco M Manquinho; José Monteiro;
PUBLICAÇÃO: 2010, FONTE: CoRR, VOLUME: abs/1011.2685
AUTORES: Nuno P Lopes ; Levent Aksoy; Vasco M Manquinho; José Monteiro;
PUBLICAÇÃO: 2010, FONTE: CoRR, VOLUME: abs/1011.2685
INDEXADO EM: DBLP arXiv
53
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
AUTORES: Roussel, O; Manquinho, V;
PUBLICAÇÃO: 2009, FONTE: Frontiers in Artificial Intelligence and Applications, VOLUME: 185, NÚMERO: 1
INDEXADO EM: Scopus
NO MEU: ORCID
54
TÃTULO: Algorithms for Weighted Boolean Optimization PDF
AUTORES: Vasco M Manquinho; João P Marques Silva; Jordi Planes;
PUBLICAÇÃO: 2009, FONTE: CoRR, VOLUME: abs/0903.0843
AUTORES: Vasco M Manquinho; João P Marques Silva; Jordi Planes;
PUBLICAÇÃO: 2009, FONTE: CoRR, VOLUME: abs/0903.0843
INDEXADO EM: DBLP arXiv
55
TÃTULO: Backtracking
AUTORES: Inês Lynce; Vasco M Manquinho; João Marques Silva ;
PUBLICAÇÃO: 2008, FONTE: Wiley Encyclopedia of Computer Science and Engineering
AUTORES: Inês Lynce; Vasco M Manquinho; João Marques Silva ;
PUBLICAÇÃO: 2008, FONTE: Wiley Encyclopedia of Computer Science and Engineering
56
TÃTULO: Symmetry Breaking for Maximum Satisfiability PDF
AUTORES: João Marques Silva; Inês Lynce; Vasco M Manquinho;
PUBLICAÇÃO: 2008, FONTE: CoRR, VOLUME: abs/0804.0599
AUTORES: João Marques Silva; Inês Lynce; Vasco M Manquinho;
PUBLICAÇÃO: 2008, FONTE: CoRR, VOLUME: abs/0804.0599
INDEXADO EM: DBLP arXiv
57
TÃTULO: Search pruning conditions for Boolean Optimization
AUTORES: Manquinho, VM; Marques Silva, J ;
PUBLICAÇÃO: 2000, FONTE: 14th European Conference on Artificial Intelligence in ECAI 2000: 14TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 54
AUTORES: Manquinho, VM; Marques Silva, J ;
PUBLICAÇÃO: 2000, FONTE: 14th European Conference on Artificial Intelligence in ECAI 2000: 14TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 54
INDEXADO EM: WOS DBLP
58
TÃTULO: On Using Satisfiability-Based Pruning Techniques in Covering Algorithms
AUTORES: Vasco M Manquinho; João P Marques Silva ;
PUBLICAÇÃO: 2000, FONTE: 2000 Design, Automation and Test in Europe (DATE 2000), 27-30 March 2000, Paris, France
AUTORES: Vasco M Manquinho; João P Marques Silva ;
PUBLICAÇÃO: 2000, FONTE: 2000 Design, Automation and Test in Europe (DATE 2000), 27-30 March 2000, Paris, France