Vasco Miguel Gomes Nunes Manquinho


AuthID: R-000-HE8

Confirmed Publications: 67



51
TITLE: Algorithms for Weighted Boolean Optimization
AUTHORS: Vasco M Manquinho ; João P Marques Silva ; Jordi Planes;
PUBLISHED: 2009, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef Unpaywall
IN MY: ORCID | CIÊNCIAVITAE
52
TITLE: Computing the Summed Adjacency Disruption Number between Two Genomes with Duplicate Genes Using Pseudo-Boolean Optimization
AUTHORS: Delgado, J; Lynce, I ; Manquinho, V ;
PUBLISHED: 2009, SOURCE: 7th Annual RECOMB on Comparative Genomic in COMPARATIVE GENOMICS, PROCEEDINGS, VOLUME: 5817
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | CIÊNCIAVITAE
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 CrossRef
IN MY: ORCID | CIÊNCIAVITAE
54
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 | CIÊNCIAVITAE
55
TITLE: Learning techniques for pseudo-boolean solving
AUTHORS: Santos, J; Manquinho, V ;
PUBLISHED: 2008, SOURCE: 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
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
56
TITLE: On Applying Unit Propagation-Based Lower Bounds in Pseudo-Boolean Optimization
AUTHORS: Federico Heras; Vasco M Manquinho ; João Marques Silva ;
PUBLISHED: 2008, SOURCE: 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
INDEXED IN: Scopus DBLP
IN MY: ORCID | CIÊNCIAVITAE
57
TITLE: Symmetry Breaking for Maximum Satisfiability PDF
AUTHORS: Marques Silva, J ; Lynce, I ; Manquinho, V ;
PUBLISHED: 2008, SOURCE: 15th International Conference on Logic for Programming Artificial Intelligence and Reasoning in Logic for Programming, Artificial Intelligence, and Reasoning, Proceedings, VOLUME: 5330
INDEXED IN: Scopus WOS DBLP arXiv CrossRef Unpaywall
IN MY: ORCID | CIÊNCIAVITAE
58
TITLE: Towards more effective unsatisfiability-based maximum satisfiability algorithms
AUTHORS: Joao Marques Silva ; Vasco Manquinho ;
PUBLISHED: 2008, SOURCE: 11th International Conference on Theory and Applications of Satisfiability Testing in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2008, PROCEEDINGS, VOLUME: 4996
INDEXED IN: Scopus WOS DBLP CrossRef: 17
IN MY: ORCID | CIÊNCIAVITAE
59
TITLE: Counting models in integer domains
AUTHORS: Morgado, António ; Matos, P; Manquinho, V ; Marques Silva, J ;
PUBLISHED: 2006, SOURCE: 9th International Conference on Theory and Applications of Satisfiability Testing in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2006, PROCEEDINGS, VOLUME: 4121
INDEXED IN: Scopus WOS DBLP CrossRef: 6 Unpaywall
IN MY: ORCID | CIÊNCIAVITAE
60
TITLE: Effective lower bounding techniques for Pseudo-Boolean optimization  Full Text
AUTHORS: Manquinho, VM ; Marques Silva, J ;
PUBLISHED: 2005, SOURCE: 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
INDEXED IN: Scopus WOS DBLP CrossRef: 15
IN MY: ORCID | CIÊNCIAVITAE
Page 6 of 7. Total results: 67.

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service