Vasco Miguel Gomes Nunes Manquinho


AuthID: R-000-HE8

Confirmed Publications: 22



1
TITLE: Community-based partitioning for MaxSAT solving
AUTHORS: Martins, R; Manquinho, V ; Lynce, I ;
PUBLISHED: 2013, SOURCE: 16th International Conference on Theory and Applications of Satisfiability Testing, SAT 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7962 LNCS
INDEXED IN: Scopus CrossRef
IN MY: ORCID
2
TITLE: An overview of parallel SAT solving  Full Text
AUTHORS: Ruben Martins; Vasco Manquinho ; Ines Lynce ;
PUBLISHED: 2012, SOURCE: CONSTRAINTS, VOLUME: 17, ISSUE: 3
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
3
TITLE: Clause sharing in parallel MaxSAT
AUTHORS: Martins, R; Manquinho, V ; Lynce, I ;
PUBLISHED: 2012, SOURCE: 6th International Conference on Learning and Intelligent Optimization, LION 6 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7219 LNCS
INDEXED IN: Scopus CrossRef
IN MY: ORCID
4
TITLE: On Partitioning for Maximum Satisfiability
AUTHORS: Ruben Martins; Vasco Manquinho ; Ines Lynce ;
PUBLISHED: 2012, SOURCE: 20th European Conference on Artificial Intelligence (ECAI) in 20TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2012), VOLUME: 242
INDEXED IN: Scopus WOS
IN MY: ORCID
5
TITLE: Parallel search for maximum satisfiability
AUTHORS: Martins, R; Manquinho, V ; Lynce, I ;
PUBLISHED: 2012, SOURCE: AI COMMUNICATIONS, VOLUME: 25, ISSUE: 2
INDEXED IN: Scopus WOS CrossRef: 11
IN MY: ORCID
6
TITLE: DFT and Minimum Leakage Pattern Generation for Static Power Reduction During Test and Burn-In  Full Text
AUTHORS: Wei Chung Kao; Wei Shun Chuang; Hsiu Ting Lin; James Chien Mo Li; Vasco Manquinho ;
PUBLISHED: 2010, SOURCE: IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, VOLUME: 18, ISSUE: 3
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
7
TITLE: Improving Search Space Splitting for Parallel SAT Solving
AUTHORS: Ruben Martins; Vasco Manquinho ; Ines Lynce ;
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 CrossRef
IN MY: ORCID
8
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 CrossRef
IN MY: ORCID
9
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
10
TITLE: Computing the Summed Adjacency Disruption Number between Two Genomes with Duplicate Genes Using Pseudo-Boolean Optimization
AUTHORS: Joao Delgado; Ines Lynce ; Vasco Manquinho ;
PUBLISHED: 2009, SOURCE: 7th Annual RECOMB on Comparative Genomic in COMPARATIVE GENOMICS, PROCEEDINGS, VOLUME: 5817
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
Page 1 of 3. Total results: 22.

A place for researchers and their institutions

Useful Links

Get Help

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