Toggle navigation
Publicações
Investigadores
Instituições
0
Entrar
Autenticação Federada
(Clique na imagem)
Autenticação local
Recuperar Palavra-passe
Registar
Entrar
Vasco Miguel Gomes Nunes Manquinho
AuthID:
R-000-HE8
Publicações
Confirmadas
Para Validar
Document Source:
All
Document Type:
Todos os Tipos de Documentos
Proceedings Paper (16)
Article (6)
Year Start - End:
1997
1998
1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
-
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
Order:
Ano Dsc
Ano Asc
Cit. WOS Dsc
IF WOS Dsc
Cit. Scopus Dsc
IF Scopus Dsc
Título Asc
Título Dsc
Results:
10
20
30
40
50
Publicações Confirmadas: 22
1
TÃTULO:
Community-Based Partitioning for MaxSAT Solving
AUTORES:
Ruben Martins;
Vasco Manquinho
;
Inês Lynce
;
PUBLICAÇÃO:
2013
,
FONTE:
16th International Conference on Theory and Applications of Satisfiability Testing, SAT 2013
in
Theory and Applications of Satisfiability Testing - SAT 2013 - 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings,
VOLUME:
7962
INDEXADO EM:
Scopus
DBLP
CrossRef
:
13
NO MEU:
ORCID
2
TÃTULO:
An overview of parallel SAT solving
Full Text
AUTORES:
Martins, R;
Manquinho, V
;
Lynce, I
;
PUBLICAÇÃO:
2012
,
FONTE:
CONSTRAINTS,
VOLUME:
17,
NÚMERO:
3
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
:
43
NO MEU:
ORCID
3
TÃTULO:
Clause Sharing in Parallel MaxSAT
AUTORES:
Ruben Martins;
Vasco Manquinho
;
Inês Lynce
;
PUBLICAÇÃO:
2012
,
FONTE:
6th International Conference on Learning and Intelligent Optimization, LION 6
in
Learning and Intelligent Optimization - 6th International Conference, LION 6, Paris, France, January 16-20, 2012, Revised Selected Papers,
VOLUME:
7219
INDEXADO EM:
Scopus
DBLP
CrossRef
:
4
NO MEU:
ORCID
4
TÃTULO:
On Partitioning for Maximum Satisfiability
AUTORES:
Martins, R;
Manquinho, V
;
Lynce, I
;
PUBLICAÇÃO:
2012
,
FONTE:
20th European Conference on Artificial Intelligence (ECAI)
in
20TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2012),
VOLUME:
242
INDEXADO EM:
Scopus
WOS
DBLP
NO MEU:
ORCID
5
TÃTULO:
Parallel search for maximum satisfiability
Full Text
AUTORES:
Martins, R;
Manquinho, V
;
Lynce, I
;
PUBLICAÇÃO:
2012
,
FONTE:
AI COMMUNICATIONS,
VOLUME:
25,
NÚMERO:
2
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
:
11
NO MEU:
ORCID
6
TÃTULO:
DFT and Minimum Leakage Pattern Generation for Static Power Reduction During Test and Burn-In
Full Text
AUTORES:
Wei Chung Kao; Wei Shun Chuang; Hsiu Ting Lin; James Chien Mo Li;
Vasco Manquinho
;
PUBLICAÇÃO:
2010
,
FONTE:
IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS,
VOLUME:
18,
NÚMERO:
3
INDEXADO EM:
Scopus
WOS
CrossRef
NO MEU:
ORCID
7
TÃTULO:
Improving Search Space Splitting for Parallel SAT Solving
AUTORES:
Martins, R;
Manquinho, V
;
Lynce, I
;
PUBLICAÇÃO:
2010
,
FONTE:
22nd International Conference on Tools with Artificial Intelligence
in
22ND INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2010), PROCEEDINGS, VOL 1,
VOLUME:
1
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
:
10
NO MEU:
ORCID
8
TÃTULO:
Improving Unsatisfiability-Based Algorithms for Boolean Optimization
AUTORES:
Manquinho, V
; Martins, R;
Lynce, I
;
PUBLICAÇÃO:
2010
,
FONTE:
13th International Conference on Theory and Applications of Satisfiability Testing
in
THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2010, PROCEEDINGS,
VOLUME:
6175
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
:
9
NO MEU:
ORCID
9
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
10
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
Adicionar à lista
Marked
Marcar Todas
Exportar
×
Publication Export Settings
BibTex
EndNote
APA
CSV
PDF
Export Preview
Print
×
Publication Print Settings
HTML
PDF
Print Preview
Página 1 de 3. Total de resultados: 22.
<<
<
1
2
3
>
>>
×
Selecione a Fonte
Esta publicação tem:
2 registos no
ISI
2 registos no
SCOPUS
2 registos no
DBLP
2 registos no
Unpaywall
2 registos no
Openlibrary
2 registos no
Handle
Por favor selecione o registo que deve ser utilizado pelo Authenticus.
×
Comparar Publicações
© 2024 CRACS & Inesc TEC - All Rights Reserved
Política de Privacidade
|
Terms of Service