João Paulo Marques da Silva
AuthID: R-000-J0P
41
TITLE: On Computing the Union of MUSes
AUTHORS: Mencia, C; Kullmann, O; Ignatiev, A; Marques Silva, J;
PUBLISHED: 2019, SOURCE: THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2019, VOLUME: 11628
AUTHORS: Mencia, C; Kullmann, O; Ignatiev, A; Marques Silva, J;
PUBLISHED: 2019, SOURCE: THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2019, VOLUME: 11628
INDEXED IN: 
WOS
WOS42
TITLE: Computing Shortest Resolution Proofs
AUTHORS: Mencia, C; Marques Silva, J;
PUBLISHED: 2019, SOURCE: PROGRESS IN ARTIFICIAL INTELLIGENCE, PT II, VOLUME: 11805
AUTHORS: Mencia, C; Marques Silva, J;
PUBLISHED: 2019, SOURCE: PROGRESS IN ARTIFICIAL INTELLIGENCE, PT II, VOLUME: 11805
INDEXED IN: WOS
WOS43
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
44
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
Scopus45
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
46
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
47
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
48
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
Scopus49
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
Scopus50
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
