Vasco Miguel Gomes Nunes Manquinho


AuthID: R-000-HE8

Publicações Confirmadas: 67



51
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
52
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
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 CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
54
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 | CIÊNCIAVITAE
55
TÍTULO: Learning techniques for pseudo-boolean solving
AUTORES: Santos, J; Manquinho, V ;
PUBLICAÇÃO: 2008, FONTE: LPAR 2008 Workshops on Knowledge Exchange: Automated Provers and Proof Assistants, KEAPPA 2008 and the 7th International Workshop on the Implementation of Logics, IWIL 2008 in CEUR Workshop Proceedings, VOLUME: 418
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
56
TÍTULO: On Applying Unit Propagation-Based Lower Bounds in Pseudo-Boolean Optimization
AUTORES: Federico Heras; Vasco M Manquinho ; João Marques Silva ;
PUBLICAÇÃO: 2008, FONTE: 21th International Florida Artificial Intelligence Research Society Conference, FLAIRS-21 in Proceedings of the Twenty-First International Florida Artificial Intelligence Research Society Conference, May 15-17, 2008, Coconut Grove, Florida, USA
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | CIÊNCIAVITAE
57
TÍTULO: Symmetry Breaking for Maximum Satisfiability PDF
AUTORES: Marques Silva, J ; Lynce, I ; Manquinho, V ;
PUBLICAÇÃO: 2008, FONTE: 15th International Conference on Logic for Programming Artificial Intelligence and Reasoning in Logic for Programming, Artificial Intelligence, and Reasoning, Proceedings, VOLUME: 5330
INDEXADO EM: Scopus WOS DBLP arXiv CrossRef Unpaywall
NO MEU: ORCID | CIÊNCIAVITAE
58
TÍTULO: Towards more effective unsatisfiability-based maximum satisfiability algorithms
AUTORES: Joao Marques Silva ; Vasco Manquinho ;
PUBLICAÇÃO: 2008, FONTE: 11th International Conference on Theory and Applications of Satisfiability Testing in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2008, PROCEEDINGS, VOLUME: 4996
INDEXADO EM: Scopus WOS DBLP CrossRef: 17
NO MEU: ORCID | CIÊNCIAVITAE
59
TÍTULO: Counting models in integer domains
AUTORES: Morgado, António ; Matos, P; Manquinho, V ; Marques Silva, J ;
PUBLICAÇÃO: 2006, FONTE: 9th International Conference on Theory and Applications of Satisfiability Testing in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2006, PROCEEDINGS, VOLUME: 4121
INDEXADO EM: Scopus WOS DBLP CrossRef: 6 Unpaywall
NO MEU: ORCID | CIÊNCIAVITAE
60
TÍTULO: Effective lower bounding techniques for Pseudo-Boolean optimization  Full Text
AUTORES: Manquinho, VM ; Marques Silva, J ;
PUBLICAÇÃO: 2005, FONTE: Design, Automation and Test in Europe Conference and Exhibition (DATE 05) in DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, VOLS 1 AND 2, PROCEEDINGS, VOLUME: II
INDEXADO EM: Scopus WOS DBLP CrossRef: 15
NO MEU: ORCID | CIÊNCIAVITAE
Página 6 de 7. Total de resultados: 67.

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

Links Úteis

Ajuda

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