Vasco Miguel Gomes Nunes Manquinho


AuthID: R-000-HE8

Confirmed Publications: 69



51
TITLE: Improving Search Space Splitting for Parallel SAT Solving
AUTHORS: Martins, R; Manquinho, V ; Lynce, I ;
PUBLISHED: 2010, SOURCE: 22nd International Conference on Tools with Artificial Intelligence in 22ND INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2010), PROCEEDINGS, VOL 1, VOLUME: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 10
52
TITLE: Improving Unsatisfiability-Based Algorithms for Boolean Optimization
AUTHORS: Manquinho, V ; Martins, R; Lynce, I ;
PUBLISHED: 2010, SOURCE: 13th International Conference on Theory and Applications of Satisfiability Testing in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2010, PROCEEDINGS, VOLUME: 6175
INDEXED IN: Scopus WOS DBLP CrossRef: 12
53
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
54
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
55
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
56
TITLE: Backtracking
AUTHORS: Inês Lynce ; Vasco Manquinho ; João Marques Silva ;
PUBLISHED: 2008, SOURCE: Wiley Encyclopedia of Computer Science and Engineering
INDEXED IN: DBLP CrossRef
57
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
58
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
59
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: 3 Unpaywall
60
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
Page 6 of 7. Total results: 69.

footer slogan

Useful Links

Get Help

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