António José dos Reis Morgado


AuthID: R-00K-JMR

Publicações Confirmadas: 41



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 DBLP 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: 2023, FONTE: TACAS (1)
INDEXADO EM: 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: 2 Unpaywall
4
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: 6 Unpaywall
NO MEU: ORCID
5
TÍTULO: The Seesaw Algorithm: Function Optimization Using Implicit Hitting Sets
AUTORES: Mikolás Janota; Morgado, António ; José Fragoso Santos; Vasco Manquinho;
PUBLICAÇÃO: 2021, FONTE: CP, VOLUME: 210
INDEXADO EM: Scopus DBLP
6
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: 9 Unpaywall
NO MEU: ORCID
7
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 DBLP CrossRef: 2 Unpaywall
NO MEU: ORCID
8
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: LATA, VOLUME: 11417 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 8 Unpaywall
NO MEU: ORCID
9
TÍTULO: Model-Based Diagnosis with Multiple Observations
AUTORES: Alexey Ignatiev; Morgado, António ; João Marques Silva ;
PUBLICAÇÃO: 2019, FONTE: IJCAI, VOLUME: 2019-August
INDEXADO EM: Scopus DBLP CrossRef: 11 Unpaywall
NO MEU: ORCID
10
TÍTULO: RC2: an Efficient MaxSAT Solver
AUTORES: Alexey Ignatiev; Morgado, António ; João Marques Silva;
PUBLICAÇÃO: 2019, FONTE: J. Satisf. Boolean Model. Comput., VOLUME: 11, NÚMERO: 1
INDEXADO EM: DBLP
Página 1 de 5. Total de resultados: 41.

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

Links Úteis

Ajuda

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