Toggle navigation
Publicações
Investigadores
Instituições
0
Entrar
Autenticação Federada
(Clique na imagem)
Autenticação local
Recuperar Palavra-passe
Registar
Entrar
João Paulo Marques da Silva
AuthID:
R-000-J0P
Publicações
Confirmadas
Para Validar
Document Source:
All
Document Type:
Todos os Tipos de Documentos
Proceedings Paper (195)
Article (57)
Unpublished (9)
Book Chapter (7)
Editorial Material (2)
Proceedings (1)
Year Start - End:
1991
1992
1993
1994
1995
1996
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
2025
-
2025
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
1996
1995
1994
1993
1992
1991
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: 271
11
TÃTULO:
A SAT-Based Approach to Learn Explainable Decision Sets
AUTORES:
Ignatiev, A; Pereira, F; Narodytska, N;
Marques Silva, J
;
PUBLICAÇÃO:
2018
,
FONTE:
9th International Joint Conference on Automated Reasoning (IJCAR) Held as Part of the Federated Logic Conference (FloC)
in
AUTOMATED REASONING, IJCAR 2018,
VOLUME:
10900
INDEXADO EM:
Scopus
WOS
CrossRef
:
12
NO MEU:
ORCID
12
TÃTULO:
Computing with SAT Oracles: Past, Present and Future
AUTORES:
Marques Silva, J
;
PUBLICAÇÃO:
2018
,
FONTE:
14th Conference on Computability in Europe (CiE)
in
SAILING ROUTES IN THE WORLD OF COMPUTATION,
VOLUME:
10936
INDEXADO EM:
Scopus
WOS
Unpaywall
13
TÃTULO:
Computing with SAT Oracles: Past, Present and Future
AUTORES:
Joao Marques Silva
;
PUBLICAÇÃO:
2018
,
FONTE:
Sailing Routes in the World of Computation - 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings,
VOLUME:
10936
INDEXADO EM:
DBLP
NO MEU:
DBLP
14
TÃTULO:
Learning Optimal Decision Trees with SAT
AUTORES:
Nina Narodytska
;
Alexey Ignatiev
; Filipe Pereira;
Joao Marques Silva
;
PUBLICAÇÃO:
2018
,
FONTE:
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden.
INDEXADO EM:
DBLP
NO MEU:
DBLP
15
TÃTULO:
MaxSAT Resolution with the Dual Rail Encoding
AUTORES:
Bonet, ML; Buss, S;
Ignatiev, A
;
Marques Silva, J
;
Morgado, António
;
PUBLICAÇÃO:
2018
,
FONTE:
32nd AAAI Conference on Artificial Intelligence / 30th Innovative Applications of Artificial Intelligence Conference / 8th AAAI Symposium on Educational Advances in Artificial Intelligence
in
THIRTY-SECOND AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTIETH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / EIGHTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE
INDEXADO EM:
Scopus
WOS
DBLP
NO MEU:
DBLP
16
TÃTULO:
Premise Set Caching for Enumerating Minimal Correction Subsets
AUTORES:
Previti, A
; Mencia, C; Jarvisalo, M;
Marques Silva, J
;
PUBLICAÇÃO:
2018
,
FONTE:
32nd AAAI Conference on Artificial Intelligence / 30th Innovative Applications of Artificial Intelligence Conference / 8th AAAI Symposium on Educational Advances in Artificial Intelligence
in
THIRTY-SECOND AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTIETH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / EIGHTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE
INDEXADO EM:
WOS
DBLP
NO MEU:
DBLP
17
TÃTULO:
Propositional SAT Solving
AUTORES:
Joao Marques Silva
; Sharad Malik;
PUBLICAÇÃO:
2018
,
FONTE:
Handbook of Model Checking.
INDEXADO EM:
Scopus
DBLP
Unpaywall
NO MEU:
DBLP
18
TÃTULO:
PySAT: A Python Toolkit for Prototyping with SAT Oracles
AUTORES:
Ignatiev, A
;
Morgado, António
;
Marques Silva, J
;
PUBLICAÇÃO:
2018
,
FONTE:
21st International Conference on Theory and Applications of Satisfiability Testing (SAT) Held as Part of the Federated Logic Conference (FloC)
in
THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2018,
VOLUME:
10929
INDEXADO EM:
Scopus
WOS
CrossRef
:
46
Unpaywall
NO MEU:
ORCID
19
TÃTULO:
PySAT: A Python Toolkit for Prototyping with SAT Oracles
AUTORES:
Alexey Ignatiev
;
Morgado, António
;
João Marques Silva
;
PUBLICAÇÃO:
2018
,
FONTE:
Theory and Applications of Satisfiability Testing - SAT 2018 - 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings,
VOLUME:
10929
INDEXADO EM:
DBLP
NO MEU:
DBLP
20
TÃTULO:
An Achilles' Heel of Term-Resolution
AUTORES:
Janota, M
;
Marques Silva, J
;
PUBLICAÇÃO:
2017
,
FONTE:
18th EPIA Conference on Artificial Intelligence (EPIA)
in
PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017),
VOLUME:
10423
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
:
3
Unpaywall
NO MEU:
DBLP
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 2 de 28. Total de resultados: 271.
<<
<
1
2
3
4
5
6
7
8
9
>
>>
×
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
2 registos no
DataCite
Por favor selecione o registo que deve ser utilizado pelo Authenticus.
×
Comparar Publicações
© 2025 CRACS & Inesc TEC - All Rights Reserved
Política de Privacidade
|
Terms of Service