António José dos Reis Morgado


AuthID: R-00K-JMR

Confirmed Publications: 41



1
TITLE: Computing generating sets of minimal size in finite algebras  Full Text
AUTHORS: Janota, Mikolas; Morgado, António ; Vojtechovsky, Petr;
PUBLISHED: 2023, SOURCE: JOURNAL OF SYMBOLIC COMPUTATION, VOLUME: 119
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
2
TITLE: Feature Necessity & Relevancy in ML Classifier Explanations
AUTHORS: Xuanxiang Huang; Martin C Cooper; Morgado, António ; Jordi Planes; João Marques Silva;
PUBLISHED: 2023, SOURCE: TACAS (1)
INDEXED IN: DBLP
3
TITLE: TestSelector: Automatic Test Suite Selection for Student Projects
AUTHORS: Marques, Filipe; Morgado, António ; Santos, Jose Fragoso; Janota, Mikolas;
PUBLISHED: 2022, SOURCE: 22nd International Conference on Runtime Verification (RV) held as part of the Computational Logic Autumn Summit (CLAS) in RUNTIME VERIFICATION (RV 2022), VOLUME: 13498
INDEXED IN: Scopus WOS DBLP CrossRef: 2 Unpaywall
4
TITLE: Propositional proof systems based on maximum satisfiability  Full Text
AUTHORS: Bonet, ML; Buss, S; Ignatiev, A; Morgado, António ; Marques Silva, J ;
PUBLISHED: 2021, SOURCE: ARTIFICIAL INTELLIGENCE, VOLUME: 300
INDEXED IN: Scopus WOS DBLP CrossRef: 6 Unpaywall
IN MY: ORCID
5
TITLE: The Seesaw Algorithm: Function Optimization Using Implicit Hitting Sets
AUTHORS: Mikolás Janota; Morgado, António ; José Fragoso Santos; Vasco Manquinho;
PUBLISHED: 2021, SOURCE: CP, VOLUME: 210
INDEXED IN: Scopus DBLP
6
TITLE: SAT-Based Encodings for Optimal Decision Trees with Explicit Paths
AUTHORS: Janota, M; Morgado, António ;
PUBLISHED: 2020, SOURCE: 23rd International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING, SAT 2020, VOLUME: 12178
INDEXED IN: Scopus WOS DBLP CrossRef: 9 Unpaywall
IN MY: ORCID
7
TITLE: DRMaxSAT with MaxHS: First Contact
AUTHORS: Morgado, António ; Ignatiev, A; Bonet, ML; Marques Silva, J ; Buss, S;
PUBLISHED: 2019, SOURCE: 22nd International Conference on Theory and Applications of Satisfiability Testing, SAT 2019 in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2019, VOLUME: 11628
INDEXED IN: Scopus WOS DBLP CrossRef: 2 Unpaywall
IN MY: ORCID
8
TITLE: Efficient Symmetry Breaking for SAT-Based Minimum DFA Inference
AUTHORS: Ilya Zakirzyanov; Morgado, António ; Alexey Ignatiev; Vladimir Ulyantsev; João Marques Silva ;
PUBLISHED: 2019, SOURCE: LATA, VOLUME: 11417 LNCS
INDEXED IN: Scopus DBLP CrossRef: 8 Unpaywall
IN MY: ORCID
9
TITLE: Model-Based Diagnosis with Multiple Observations
AUTHORS: Alexey Ignatiev; Morgado, António ; João Marques Silva ;
PUBLISHED: 2019, SOURCE: IJCAI, VOLUME: 2019-August
INDEXED IN: Scopus DBLP CrossRef: 11 Unpaywall
IN MY: ORCID
10
TITLE: RC2: an Efficient MaxSAT Solver
AUTHORS: Alexey Ignatiev; Morgado, António ; João Marques Silva;
PUBLISHED: 2019, SOURCE: J. Satisf. Boolean Model. Comput., VOLUME: 11, ISSUE: 1
INDEXED IN: DBLP
Page 1 of 5. Total results: 41.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service