João Paulo Marques da Silva
AuthID: R-000-J0P
21
TÃTULO: Conflict-Driven Clause Learning SAT Solvers
AUTORES: João Marques Silva; Inês Lynce ; Sharad Malik;
PUBLICAÇÃO: 2021, FONTE: Handbook of Satisfiability - Second Edition, VOLUME: 336
AUTORES: João Marques Silva; Inês Lynce ; Sharad Malik;
PUBLICAÇÃO: 2021, FONTE: Handbook of Satisfiability - Second Edition, VOLUME: 336
INDEXADO EM: 
Scopus 
DBLP
Scopus DBLP22
TÃTULO: Auditing static machine learning anti-Malware tools against metamorphic attacks Full Text
AUTORES: Gibert, D; Mateu, C; Planes, J; Marques Silva, J;
PUBLICAÇÃO: 2021, FONTE: COMPUTERS & SECURITY, VOLUME: 102
AUTORES: Gibert, D; Mateu, C; Planes, J; Marques Silva, J;
PUBLICAÇÃO: 2021, FONTE: COMPUTERS & SECURITY, VOLUME: 102
23
TÃTULO: Chapter 4: Conflict-driven clause learning SAT solvers
AUTORES: Joao Marques Silva; Ines Lynce ; Sharad Malik;
PUBLICAÇÃO: 2021, FONTE: Frontiers in Artificial Intelligence and Applications, VOLUME: 336
AUTORES: Joao Marques Silva; Ines Lynce ; Sharad Malik;
PUBLICAÇÃO: 2021, FONTE: Frontiers in Artificial Intelligence and Applications, VOLUME: 336
INDEXADO EM: Scopus 
Unpaywall
Scopus Unpaywall24
TÃTULO: Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification
AUTORES: Gianpiero Cabodi; Paolo E Camurati; Alexey Ignatiev; Joao Marques Silva; Marco Palena; Paolo Pasini;
PUBLICAÇÃO: 2021, FONTE: Proceedings -Design, Automation and Test in Europe, DATE, VOLUME: 2021-February
AUTORES: Gianpiero Cabodi; Paolo E Camurati; Alexey Ignatiev; Joao Marques Silva; Marco Palena; Paolo Pasini;
PUBLICAÇÃO: 2021, FONTE: Proceedings -Design, Automation and Test in Europe, DATE, VOLUME: 2021-February
25
TÃTULO: On Explaining Random Forests with SAT
AUTORES: Yacine Izza; Joao Marques Silva;
PUBLICAÇÃO: 2021, FONTE: IJCAI International Joint Conference on Artificial Intelligence
AUTORES: Yacine Izza; Joao Marques Silva;
PUBLICAÇÃO: 2021, FONTE: IJCAI International Joint Conference on Artificial Intelligence
INDEXADO EM: Scopus
Scopus26
TÃTULO: From Contrastive to Abductive Explanations and Back Again
AUTORES: Ignatiev, A; Narodytska, N; Asher, N; Marques Silva, J;
PUBLICAÇÃO: 2021, FONTE: AIXIA 2020 - ADVANCES IN ARTIFICIAL INTELLIGENCE, VOLUME: 12414
AUTORES: Ignatiev, A; Narodytska, N; Asher, N; Marques Silva, J;
PUBLICAÇÃO: 2021, FONTE: AIXIA 2020 - ADVANCES IN ARTIFICIAL INTELLIGENCE, VOLUME: 12414
27
TÃTULO: SAT-Based Rigorous Explanations for Decision Lists
AUTORES: Ignatiev, A; Marques Silva, J;
PUBLICAÇÃO: 2021, FONTE: THEORY AND APPLICATIONS OF SATISFIABILITY TESTING, SAT 2021, VOLUME: 12831
AUTORES: Ignatiev, A; Marques Silva, J;
PUBLICAÇÃO: 2021, FONTE: THEORY AND APPLICATIONS OF SATISFIABILITY TESTING, SAT 2021, VOLUME: 12831
28
TÃTULO: Assessing Progress in SAT Solvers Through the Lens of Incremental SAT
AUTORES: Kochemazov, S; Ignatiev, A; Marques Silva, J;
PUBLICAÇÃO: 2021, FONTE: THEORY AND APPLICATIONS OF SATISFIABILITY TESTING, SAT 2021, VOLUME: 12831
AUTORES: Kochemazov, S; Ignatiev, A; Marques Silva, J;
PUBLICAÇÃO: 2021, FONTE: THEORY AND APPLICATIONS OF SATISFIABILITY TESTING, SAT 2021, VOLUME: 12831
29
TÃTULO: Reasoning-Based Learning of Interpretable ML Models
AUTORES: Alexey Ignatiev; Joao Marques Silva; Nina Narodytska; Peter J Stuckey;
PUBLICAÇÃO: 2021, FONTE: IJCAI International Joint Conference on Artificial Intelligence
AUTORES: Alexey Ignatiev; Joao Marques Silva; Nina Narodytska; Peter J Stuckey;
PUBLICAÇÃO: 2021, FONTE: IJCAI International Joint Conference on Artificial Intelligence
INDEXADO EM: Scopus
Scopus30
TÃTULO: On the tractability of explaining decisions of classifiers
AUTORES: Martin C Cooper; João Marques Silva;
PUBLICAÇÃO: 2021, FONTE: Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 210
AUTORES: Martin C Cooper; João Marques Silva;
PUBLICAÇÃO: 2021, FONTE: Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 210
INDEXADO EM: Scopus
Scopus