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