António José dos Reis Morgado


AuthID: R-00K-JMR

Publicações Confirmadas: 47



11
TÍTULO: Model-Based Diagnosis with Multiple Observations
AUTORES: Alexey Ignatiev; Morgado, António ; Georg Weissenbacher; João Marques Silva ;
PUBLICAÇÃO: 2019, FONTE: Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, IJCAI 2019, Macao, China, August 10-16, 2019, VOLUME: 2019-August
INDEXADO EM: Scopus DBLP CrossRef: 5 Unpaywall
NO MEU: ORCID | DBLP
12
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
NO MEU: DBLP
13
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 | DBLP
14
TÍTULO: PySAT: A Python Toolkit for Prototyping with SAT Oracles
AUTORES: Alexey Ignatiev; Morgado, António ; João Marques Silva ;
PUBLICAÇÃO: 2018, FONTE: Theory and Applications of Satisfiability Testing - SAT 2018 - 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings, VOLUME: 10929
INDEXADO EM: DBLP
NO MEU: DBLP
15
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 CrossRef: 46 Unpaywall
NO MEU: ORCID
16
TÍTULO: Cardinality Encodings for Graph Optimization Problems
AUTORES: Alexey Ignatiev; Morgado, António ; Joao Marques Silva ;
PUBLICAÇÃO: 2017, FONTE: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017
INDEXADO EM: Scopus DBLP CrossRef: 1 Unpaywall
NO MEU: ORCID | DBLP
17
TÍTULO: Horn Maximum Satisfiability: Reductions, Algorithms and Applications
AUTORES: Joao Marques Silva ; Alexey Ignatiev; Morgado, António ;
PUBLICAÇÃO: 2017, FONTE: Progress in Artificial Intelligence - 18th EPIA Conference on Artificial Intelligence, EPIA 2017, Porto, Portugal, September 5-8, 2017, Proceedings, VOLUME: 10423
INDEXADO EM: DBLP
NO MEU: DBLP
18
TÍTULO: Horn Maximum Satisfiability: Reductions, Algorithms and Applications PDF
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 arXiv CrossRef: 3 Unpaywall
NO MEU: ORCID | DBLP
19
TÍTULO: Model Based Diagnosis of Multiple Observations with Implicit Hitting Sets PDF
AUTORES: Alexey Ignatiev; Morgado, António ; Joao Marques Silva ;
PUBLICAÇÃO: 2017, FONTE: CoRR, VOLUME: abs/1707.01972
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
20
TÍTULO: On Tackling the Limits of Resolution in SAT Solving
AUTORES: Alexey Ignatiev; Morgado, António ; Joao Marques Silva ;
PUBLICAÇÃO: 2017, FONTE: Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings, VOLUME: 10491
INDEXADO EM: DBLP
NO MEU: DBLP
Página 2 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