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
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
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
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
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
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
INDEXADO EM: DBLP CrossRef
NO MEU: ORCID
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
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
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
INDEXADO EM: Scopus DBLP CrossRef: 3
NO MEU: ORCID
Página 6 de 6. Total de resultados: 58.