António José dos Reis Morgado


AuthID: R-00K-JMR

Publicações Confirmadas: 41



11
TÍTULO: MaxSAT Resolution with the Dual Rail Encoding
AUTORES: Bonet, ML; Buss, S; Ignatiev, A; Marques Silva, J ; Morgado, António ;
PUBLICAÇÃO: 2018, FONTE: 32nd AAAI Conference on Artificial Intelligence / 30th Innovative Applications of Artificial Intelligence Conference / 8th AAAI Symposium on Educational Advances in Artificial Intelligence in THIRTY-SECOND AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTIETH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / EIGHTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID
12
TÍTULO: PySAT: A Python Toolkit for Prototyping with SAT Oracles
AUTORES: Ignatiev, A; Morgado, António ; Marques Silva, J ;
PUBLICAÇÃO: 2018, FONTE: 21st International Conference on Theory and Applications of Satisfiability Testing (SAT) Held as Part of the Federated Logic Conference (FloC) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2018, VOLUME: 10929
INDEXADO EM: Scopus WOS DBLP CrossRef: 46 Unpaywall
NO MEU: ORCID
13
TÍTULO: Cardinality Encodings for Graph Optimization Problems
AUTORES: Alexey Ignatiev; Morgado, António ; João Marques Silva ;
PUBLICAÇÃO: 2017, FONTE: IJCAI
INDEXADO EM: Scopus DBLP CrossRef: 2 Unpaywall
NO MEU: ORCID
14
TÍTULO: Horn Maximum Satisfiability: Reductions, Algorithms and Applications
AUTORES: João Marques Silva ; Alexey Ignatiev; Morgado, António ;
PUBLICAÇÃO: 2017, FONTE: EPIA
INDEXADO EM: DBLP
15
TÍTULO: Horn Maximum Satisfiability: Reductions, Algorithms and Applications
AUTORES: Marques Silva, J ; Ignatiev, A; Morgado, António ;
PUBLICAÇÃO: 2017, FONTE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423
INDEXADO EM: Scopus WOS DBLP CrossRef: 4 Unpaywall
NO MEU: ORCID
16
TÍTULO: On Tackling the Limits of Resolution in SAT Solving
AUTORES: Ignatiev, A; Morgado, António ; Marques Silva, J ;
PUBLICAÇÃO: 2017, FONTE: 20th International Conference on Theory and Applications of Satisfiability Testing, SAT 2017 in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING (SAT 2017), VOLUME: 10491
INDEXADO EM: Scopus WOS DBLP CrossRef: 12 Unpaywall
NO MEU: ORCID
17
TÍTULO: Maximal falsifiability. Definitions, algorithms and applications  Full Text
AUTORES: Ignatiev, A; Morgado, António ; Planes, J; Marques Silva, J ;
PUBLICAÇÃO: 2016, FONTE: 21st International Workshop of the Rappresentazione-della-Conoscenza-e-Ragionamento-Automatico (RCRA) in AI COMMUNICATIONS, VOLUME: 29, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 2 Unpaywall
NO MEU: ORCID
18
TÍTULO: Propositional Abduction with Implicit Hitting Sets PDF
AUTORES: Ignatiev, A; Morgado, António ; Marques Silva, J ;
PUBLICAÇÃO: 2016, FONTE: 22nd European Conference on Artificial Intelligence (ECAI) in ECAI 2016: 22ND EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 285
INDEXADO EM: Scopus WOS DBLP arXiv CrossRef: 1
NO MEU: ORCID
19
TÍTULO: Efficient Model Based Diagnosis with Maximum Satisfiability
AUTORES: João Marques Silva ; Mikolás Janota; Alexey Ignatiev; Morgado, António ;
PUBLICAÇÃO: 2015, FONTE: IJCAI, VOLUME: 2015-January
INDEXADO EM: Scopus DBLP
NO MEU: ORCID
20
TÍTULO: MaxSAT-based encodings for Group MaxSAT  Full Text
AUTORES: Heras, F; Morgado, António ; Marques Sliva, J ;
PUBLICAÇÃO: 2015, FONTE: AI COMMUNICATIONS, VOLUME: 28, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 8 Unpaywall
NO MEU: ORCID
Página 2 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