António José dos Reis Morgado


AuthID: R-00K-JMR

Publicações Confirmadas: 47



1
TÍTULO: Computing generating sets of minimal size in finite algebras  Full Text
AUTORES: Janota, Mikolas; Morgado, António ; Vojtechovsky, Petr;
PUBLICAÇÃO: 2023, FONTE: JOURNAL OF SYMBOLIC COMPUTATION, VOLUME: 119
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
2
TÍTULO: Feature Necessity & Relevancy in ML Classifier Explanations
AUTORES: Xuanxiang Huang; Martin C Cooper; Morgado, António ; Jordi Planes; João Marques Silva;
PUBLICAÇÃO: 2022, FONTE: CoRR, VOLUME: abs/2210.15675
INDEXADO EM: DBLP
NO MEU: DBLP
3
TÍTULO: TestSelector: Automatic Test Suite Selection for Student Projects
AUTORES: Marques, Filipe; Morgado, António ; Santos, Jose Fragoso; Janota, Mikolas;
PUBLICAÇÃO: 2022, FONTE: 22nd International Conference on Runtime Verification (RV) held as part of the Computational Logic Autumn Summit (CLAS) in RUNTIME VERIFICATION (RV 2022), VOLUME: 13498
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
NO MEU: DBLP
4
TÍTULO: TestSelector: Automatic Test Suite Selection for Student Projects - Extended Version
AUTORES: Filipe Marques; Morgado, António ; José Fragoso Santos; Mikolás Janota;
PUBLICAÇÃO: 2022, FONTE: CoRR, VOLUME: abs/2207.09509
INDEXADO EM: DBLP
NO MEU: DBLP
5
TÍTULO: Propositional proof systems based on maximum satisfiability  Full Text
AUTORES: Bonet, ML; Buss, S; Ignatiev, A; Morgado, António ; Marques Silva, J ;
PUBLICAÇÃO: 2021, FONTE: ARTIFICIAL INTELLIGENCE, VOLUME: 300
INDEXADO EM: Scopus WOS DBLP CrossRef: 4 Unpaywall
NO MEU: ORCID | DBLP
6
TÍTULO: The Seesaw Algorithm: Function Optimization Using Implicit Hitting Sets
AUTORES: Mikolás Janota; Morgado, António ; José Fragoso Santos; Vasco M Manquinho;
PUBLICAÇÃO: 2021, FONTE: 27th International Conference on Principles and Practice of Constraint Programming, CP 2021, Montpellier, France (Virtual Conference), October 25-29, 2021., VOLUME: 210
INDEXADO EM: Scopus DBLP
NO MEU: DBLP
7
TÍTULO: SAT-Based Encodings for Optimal Decision Trees with Explicit Paths
AUTORES: Janota, M; Morgado, António ;
PUBLICAÇÃO: 2020, FONTE: 23rd International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING, SAT 2020, VOLUME: 12178
INDEXADO EM: Scopus WOS DBLP CrossRef: 3 Unpaywall
NO MEU: ORCID | DBLP
8
TÍTULO: DRMaxSAT with MaxHS: First Contact
AUTORES: Morgado, António ; Ignatiev, A; Bonet, ML; Marques Silva, J ; Buss, S;
PUBLICAÇÃO: 2019, FONTE: 22nd International Conference on Theory and Applications of Satisfiability Testing, SAT 2019 in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2019, VOLUME: 11628
INDEXADO EM: Scopus WOS CrossRef: 2 Unpaywall
NO MEU: ORCID
9
TÍTULO: DRMaxSAT with MaxHS: First Contact
AUTORES: Morgado, António ; Alexey Ignatiev; Maria Luisa Bonet; João Marques Silva; Sam Buss;
PUBLICAÇÃO: 2019, FONTE: Theory and Applications of Satisfiability Testing - SAT 2019 - 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019, Proceedings, VOLUME: 11628
INDEXADO EM: DBLP
NO MEU: DBLP
10
TÍTULO: Efficient Symmetry Breaking for SAT-Based Minimum DFA Inference
AUTORES: Ilya Zakirzyanov; Morgado, António ; Alexey Ignatiev; Vladimir Ulyantsev; João Marques Silva ;
PUBLICAÇÃO: 2019, FONTE: 13th International Conference on Language and Automata Theory and Applications, LATA 2019 in Language and Automata Theory and Applications - 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings, VOLUME: 11417
INDEXADO EM: Scopus DBLP CrossRef: 4 Unpaywall
NO MEU: ORCID | DBLP
Página 1 de 5. Total de resultados: 47.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service