João Paulo Marques da Silva
AuthID: R-000-J0P
41
TÃTULO: Learning optimal decision trees with SAT
AUTORES: Nina Narodytska; Alexey Ignatiev; Filipe Pereira; Joao Marques Silva;
PUBLICAÇÃO: 2018, FONTE: IJCAI International Joint Conference on Artificial Intelligence, VOLUME: 2018-July
AUTORES: Nina Narodytska; Alexey Ignatiev; Filipe Pereira; Joao Marques Silva;
PUBLICAÇÃO: 2018, FONTE: IJCAI International Joint Conference on Artificial Intelligence, VOLUME: 2018-July
42
TÃTULO: Premise set caching for enumerating minimal correction subsets
AUTORES: Alessandro Previti; Matti Järvisalo; Carlos Mencía; Joao Marques Silva;
PUBLICAÇÃO: 2018, FONTE: 32nd AAAI Conference on Artificial Intelligence, AAAI 2018
AUTORES: Alessandro Previti; Matti Järvisalo; Carlos Mencía; Joao Marques Silva;
PUBLICAÇÃO: 2018, FONTE: 32nd AAAI Conference on Artificial Intelligence, AAAI 2018
INDEXADO EM: 
Scopus
Scopus43
TÃTULO: Propositional SAT Solving
AUTORES: Joao Marques-Silva; Sharad Malik;
PUBLICAÇÃO: 2018, FONTE: Handbook of Model Checking
AUTORES: Joao Marques-Silva; Sharad Malik;
PUBLICAÇÃO: 2018, FONTE: Handbook of Model Checking
44
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 - Lecture Notes in Computer Science
AUTORES: Joao Marques-Silva;
PUBLICAÇÃO: 2018, FONTE: Sailing Routes in the World of Computation - Lecture Notes in Computer Science
45
TÃTULO: Formally Verifying the Solution to the Boolean Pythagorean Triples Problem Full Text
AUTORES: Luís Cruz-Filipe; Joao Marques-Silva; Peter Schneider-Kamp;
PUBLICAÇÃO: 2018, FONTE: Journal of Automated Reasoning, VOLUME: 63, NÚMERO: 3
AUTORES: Luís Cruz-Filipe; Joao Marques-Silva; Peter Schneider-Kamp;
PUBLICAÇÃO: 2018, FONTE: Journal of Automated Reasoning, VOLUME: 63, NÚMERO: 3
46
TÃTULO: The boolean pythagorean triples problem in coq
AUTORES: Cruz Filipe, L; Marques Silva, J; Schneider Kamp, P;
PUBLICAÇÃO: 2017, FONTE: 23rd International Conference on Types for Proofs and Programs, TYPES 2017 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 104
AUTORES: Cruz Filipe, L; Marques Silva, J; Schneider Kamp, P;
PUBLICAÇÃO: 2017, FONTE: 23rd International Conference on Types for Proofs and Programs, TYPES 2017 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 104
INDEXADO EM: Scopus
Scopus47
TÃTULO: On Minimal corrections in ASP
AUTORES: Mikoláš Janota; Joao Marques Silva;
PUBLICAÇÃO: 2017, FONTE: CEUR Workshop Proceedings, VOLUME: 2011
AUTORES: Mikoláš Janota; Joao Marques Silva;
PUBLICAÇÃO: 2017, FONTE: CEUR Workshop Proceedings, VOLUME: 2011
INDEXADO EM: Scopus
Scopus48
TÃTULO: Efficient Certified Resolution Proof Checking
AUTORES: Luís Cruz-Filipe; Joao Marques-Silva; Peter Schneider-Kamp;
PUBLICAÇÃO: 2017, FONTE: Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science
AUTORES: Luís Cruz-Filipe; Joao Marques-Silva; Peter Schneider-Kamp;
PUBLICAÇÃO: 2017, FONTE: Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science
49
TÃTULO: Lean Kernels in Description Logics
AUTORES: Penaloza, R; Mencia, C; Ignatiev, A; Marques Silva, J;
PUBLICAÇÃO: 2017, FONTE: SEMANTIC WEB ( ESWC 2017), PT I, VOLUME: 10249
AUTORES: Penaloza, R; Mencia, C; Ignatiev, A; Marques Silva, J;
PUBLICAÇÃO: 2017, FONTE: SEMANTIC WEB ( ESWC 2017), PT I, VOLUME: 10249
INDEXADO EM: 
WOS
WOS50
TÃTULO: MCS Extraction with Sublinear Oracle Queries
AUTORES: Carlos Mencia; Alexey Ignatiev; Alessandro Previti; Joao Marques Silva;
PUBLICAÇÃO: 2016, FONTE: 19th International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2016, VOLUME: 9710
AUTORES: Carlos Mencia; Alexey Ignatiev; Alessandro Previti; Joao Marques Silva;
PUBLICAÇÃO: 2016, FONTE: 19th International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2016, VOLUME: 9710
INDEXADO EM: WOS
WOS