51
TITLE: Computing the Summed Adjacency Disruption Number between Two Genomes with Duplicate Genes
AUTHORS: Joao Delgado; Ines Lynce ; Vasco Manquinho;
PUBLISHED: 2010, SOURCE: JOURNAL OF COMPUTATIONAL BIOLOGY, VOLUME: 17, ISSUE: 9
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
52
TITLE: Optimally Solving the MCM Problem Using Pseudo-Boolean Satisfiability PDF
AUTHORS: Nuno P Lopes ; Levent Aksoy; Vasco M Manquinho; José Monteiro;
PUBLISHED: 2010, SOURCE: CoRR, VOLUME: abs/1011.2685
INDEXED IN: DBLP arXiv
53
TITLE: Pseudo-boolean and cardinality constraints
AUTHORS: Roussel, O; Manquinho, V;
PUBLISHED: 2009, SOURCE: Frontiers in Artificial Intelligence and Applications, VOLUME: 185, ISSUE: 1
INDEXED IN: Scopus
IN MY: ORCID
54
TITLE: Algorithms for Weighted Boolean Optimization PDF
AUTHORS: Vasco M Manquinho; João P Marques Silva; Jordi Planes;
PUBLISHED: 2009, SOURCE: CoRR, VOLUME: abs/0903.0843
INDEXED IN: DBLP arXiv
55
TITLE: Backtracking
AUTHORS: Inês Lynce; Vasco M Manquinho; João Marques Silva ;
PUBLISHED: 2008, SOURCE: Wiley Encyclopedia of Computer Science and Engineering
INDEXED IN: DBLP CrossRef
IN MY: ORCID
56
TITLE: Symmetry Breaking for Maximum Satisfiability PDF
AUTHORS: João Marques Silva; Inês Lynce; Vasco M Manquinho;
PUBLISHED: 2008, SOURCE: CoRR, VOLUME: abs/0804.0599
INDEXED IN: DBLP arXiv
57
TITLE: Search pruning conditions for Boolean Optimization
AUTHORS: Manquinho, VM; Marques Silva, J ;
PUBLISHED: 2000, SOURCE: 14th European Conference on Artificial Intelligence in ECAI 2000: 14TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 54
INDEXED IN: WOS DBLP
58
TITLE: On Using Satisfiability-Based Pruning Techniques in Covering Algorithms
AUTHORS: Vasco M Manquinho; João P Marques Silva ;
PUBLISHED: 2000, SOURCE: 2000 Design, Automation and Test in Europe (DATE 2000), 27-30 March 2000, Paris, France
INDEXED IN: Scopus DBLP CrossRef: 3
IN MY: ORCID
Page 6 of 6. Total results: 58.