João Paulo Marques da Silva
AuthID: R-000-J0P
11
TITLE: Conflict-Driven clause learning SAT solvers
AUTHORS: Joao Marques Silva; Ines Lynce; Sharad Malik;
PUBLISHED: 2021, SOURCE: Handbook of Satisfiability: Second Edition
AUTHORS: Joao Marques Silva; Ines Lynce; Sharad Malik;
PUBLISHED: 2021, SOURCE: Handbook of Satisfiability: Second Edition
INDEXED IN: 
Scopus
Scopus12
TITLE: Auditing static machine learning anti-Malware tools against metamorphic attacks Full Text
AUTHORS: Gibert, D; Mateu, C; Planes, J; Marques Silva, J;
PUBLISHED: 2021, SOURCE: COMPUTERS & SECURITY, VOLUME: 102
AUTHORS: Gibert, D; Mateu, C; Planes, J; Marques Silva, J;
PUBLISHED: 2021, SOURCE: COMPUTERS & SECURITY, VOLUME: 102
13
TITLE: Chapter 4: Conflict-driven clause learning SAT solvers
AUTHORS: Joao Marques Silva; Ines Lynce; Sharad Malik;
PUBLISHED: 2021, SOURCE: Frontiers in Artificial Intelligence and Applications, VOLUME: 336
AUTHORS: Joao Marques Silva; Ines Lynce; Sharad Malik;
PUBLISHED: 2021, SOURCE: Frontiers in Artificial Intelligence and Applications, VOLUME: 336
INDEXED IN: Scopus 
Unpaywall
Scopus Unpaywall14
TITLE: Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification
AUTHORS: Gianpiero Cabodi; Paolo E Camurati; Alexey Ignatiev; Joao Marques Silva; Marco Palena; Paolo Pasini;
PUBLISHED: 2021, SOURCE: Proceedings -Design, Automation and Test in Europe, DATE, VOLUME: 2021-February
AUTHORS: Gianpiero Cabodi; Paolo E Camurati; Alexey Ignatiev; Joao Marques Silva; Marco Palena; Paolo Pasini;
PUBLISHED: 2021, SOURCE: Proceedings -Design, Automation and Test in Europe, DATE, VOLUME: 2021-February
15
TITLE: On Explaining Random Forests with SAT
AUTHORS: Yacine Izza; Joao Marques Silva;
PUBLISHED: 2021, SOURCE: IJCAI International Joint Conference on Artificial Intelligence
AUTHORS: Yacine Izza; Joao Marques Silva;
PUBLISHED: 2021, SOURCE: IJCAI International Joint Conference on Artificial Intelligence
INDEXED IN: Scopus
Scopus16
TITLE: From Contrastive to Abductive Explanations and Back Again
AUTHORS: Ignatiev, A; Narodytska, N; Asher, N; Marques Silva, J;
PUBLISHED: 2021, SOURCE: AIXIA 2020 - ADVANCES IN ARTIFICIAL INTELLIGENCE, VOLUME: 12414
AUTHORS: Ignatiev, A; Narodytska, N; Asher, N; Marques Silva, J;
PUBLISHED: 2021, SOURCE: AIXIA 2020 - ADVANCES IN ARTIFICIAL INTELLIGENCE, VOLUME: 12414
17
TITLE: SAT-Based Rigorous Explanations for Decision Lists
AUTHORS: Ignatiev, A; Marques Silva, J;
PUBLISHED: 2021, SOURCE: THEORY AND APPLICATIONS OF SATISFIABILITY TESTING, SAT 2021, VOLUME: 12831
AUTHORS: Ignatiev, A; Marques Silva, J;
PUBLISHED: 2021, SOURCE: THEORY AND APPLICATIONS OF SATISFIABILITY TESTING, SAT 2021, VOLUME: 12831
18
TITLE: Assessing Progress in SAT Solvers Through the Lens of Incremental SAT
AUTHORS: Kochemazov, S; Ignatiev, A; Marques Silva, J;
PUBLISHED: 2021, SOURCE: THEORY AND APPLICATIONS OF SATISFIABILITY TESTING, SAT 2021, VOLUME: 12831
AUTHORS: Kochemazov, S; Ignatiev, A; Marques Silva, J;
PUBLISHED: 2021, SOURCE: THEORY AND APPLICATIONS OF SATISFIABILITY TESTING, SAT 2021, VOLUME: 12831
19
TITLE: Reasoning-Based Learning of Interpretable ML Models
AUTHORS: Alexey Ignatiev; Joao Marques Silva; Nina Narodytska; Peter J Stuckey;
PUBLISHED: 2021, SOURCE: IJCAI International Joint Conference on Artificial Intelligence
AUTHORS: Alexey Ignatiev; Joao Marques Silva; Nina Narodytska; Peter J Stuckey;
PUBLISHED: 2021, SOURCE: IJCAI International Joint Conference on Artificial Intelligence
INDEXED IN: Scopus
Scopus20
TITLE: On the tractability of explaining decisions of classifiers
AUTHORS: Martin C Cooper; João Marques Silva;
PUBLISHED: 2021, SOURCE: Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 210
AUTHORS: Martin C Cooper; João Marques Silva;
PUBLISHED: 2021, SOURCE: Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 210
INDEXED IN: Scopus
Scopus