António José dos Reis Morgado


AuthID: R-00K-JMR

Confirmed Publications: 47



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 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: 2022, SOURCE: CoRR, VOLUME: abs/2210.15675
INDEXED IN: DBLP
IN MY: 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 Unpaywall
IN MY: DBLP
4
TITLE: TestSelector: Automatic Test Suite Selection for Student Projects - Extended Version
AUTHORS: Filipe Marques; Morgado, António ; José Fragoso Santos; Mikolás Janota;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2207.09509
INDEXED IN: DBLP
IN MY: DBLP
5
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: 4 Unpaywall
IN MY: ORCID | DBLP
6
TITLE: The Seesaw Algorithm: Function Optimization Using Implicit Hitting Sets
AUTHORS: Mikolás Janota; Morgado, António ; José Fragoso Santos; Vasco M Manquinho;
PUBLISHED: 2021, SOURCE: 27th International Conference on Principles and Practice of Constraint Programming, CP 2021, Montpellier, France (Virtual Conference), October 25-29, 2021., VOLUME: 210
INDEXED IN: Scopus DBLP
IN MY: DBLP
7
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: 3 Unpaywall
IN MY: ORCID | DBLP
8
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 CrossRef: 2 Unpaywall
IN MY: ORCID
9
TITLE: DRMaxSAT with MaxHS: First Contact
AUTHORS: Morgado, António ; Alexey Ignatiev; Maria Luisa Bonet; João Marques Silva; Sam Buss;
PUBLISHED: 2019, SOURCE: Theory and Applications of Satisfiability Testing - SAT 2019 - 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019, Proceedings, VOLUME: 11628
INDEXED IN: DBLP
IN MY: DBLP
10
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: 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
INDEXED IN: Scopus DBLP CrossRef: 4 Unpaywall
IN MY: ORCID | DBLP
Page 1 of 5. Total results: 47.

A place for researchers and their institutions

Useful Links

Get Help

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